Giuseppe Della Penna Benedetto Intrigila Igor Melatti Michele Minichino Ester Ciancamerla Andrea Parisse Enrico Tronci Marisa Venturini Zilli Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. 141-155 2003 conf/hybrid/2003 HSCC http://link.springer.de/link/service/series/0558/bibs/2623/26230141.htm db/conf/hybrid/hscc2003.html#PennaIMMCPTZ03