System Level Formal Verification via Model Checking Driven Simulation. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Fabio Merli; Enrico Tronci (CAV, 2013)