Piergiorgio Bertoli Marco Bozzano Alessandro Cimatti A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis. 1-18 2006 conf/mochart/2006 MoChArt http://dx.doi.org/10.1007/978-3-540-74128-2_1 db/conf/mochart/mochart2006.html#BertoliBC06