Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. - Giuseppe Della Penna; Benedetto Intrigila; Igor Melatti; Michele Minichino; Ester Ciancamerla; Andrea Parisse; Enrico Tronci; Marisa Venturini Zilli (HSCC, 2003)