figure and appendix capitalized
resolved merge conflict

Conflicts:
	hlmviz_model_checking.tex
table to Table