@INPROCEEDINGS{HSCC03,
author = {Giuseppe Della Penna and Benedetto Intrigila and Igor Melatti and Michele Minichino and Ester Ciancamerla and Andrea Parisse and Enrico Tronci and Marisa Venturini Zilli},
title = {Automatic Verification of a Turbogas Control System with the Murphi Verifier},
series = {LNCS},
booktitle = {Proceedings of 2003 Conference on Hybrid Systems: Computation and Control},
editor = {Springer-Verlag},
pages = {141--155},
year = {2003},
month = {4},
volume = {2623},
}