A.: A Symbolic Model Checking Framework for Safety Analysis, Diagnosis, and Synthesis (2007)

by P Bertoli, M Bozzano, Cimatti
Venue:MoChArt IV. LNCS (LNAI