@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} }