@conference {70,
	title = {Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications},
	booktitle = {Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013},
	year = {2013},
	month = {10/2013},
	publisher = {Springer},
	organization = {Springer},
	address = {Hanoi, Vietnam},
	author = {Ramiro Demasi and Pablo F. Castro and Thomas S.E. Maibaum and Nazareno Aguirre}
}