Nicolás D'Ippolito Víctor A. Braberman Nir Piterman Sebastián Uchitel Synthesis of live behaviour models for fallible domains. 211-220 2011 ICSE http://doi.acm.org/10.1145/1985793.1985823 conf/icse/2011 db/conf/icse/icse2011.html#DIppolitoBPU11