@conference {437,
	title = {syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications},
	booktitle = {Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, {TACAS} 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2015, London, UK, April 11-18, 2015. Proceedings},
	year = {2015},
	publisher = {Springer},
	organization = {Springer},
	doi = {10.1007/978-3-662-46681-0_13},
	url = {http://dx.doi.org/10.1007/978-3-662-46681-0_13},
	author = {Ramiro Demasi and Pablo F. Castro and Nicol{\'a}s Ricci and Thomas Stephen Edward Maibaum and Nazareno Aguirre},
	editor = {Christel Baier and Cesare Tinelli}
}