Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) A Model Advisor for NuSMV Specifications
by
Paolo Arcaini
,
Angelo Gargantini
,
Elvinia Riccobene







