@article {184,
	title = {Harnessing SMT Solvers for TLA+ Proofs},
	journal = {ECEASST},
	volume = {53},
	year = {2012},
	author = {Stephan Merz and Hern{\'a}n Vanzetto}
}