@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},
}