@conference {72,
	title = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},
	booktitle = {Integrated Formal Methods, 10th International Conference, IFM 2013},
	year = {2013},
	month = {06/2013},
	publisher = {Springer},
	organization = {Springer},
	address = {Turku, Finland},
	author = {Ramiro Demasi and Pablo F. Castro and Thomas S.E. Maibaum and Nazareno Aguirre}
}