@ARTICLE{IJDECS10, 
	author = {Giuseppe Della Penna and  Daniele Magazzeni and  Benedetto Intrigila and  Igor Melatti and  Enrico Tronci and  Marisa Venturini Zilli  and  Ester Ciancamerla and  Michele Minichino and  Alberto Tofani},
	title = {Automatic Verification of Hybrid System Controllers with the CMurphi Verifier}, 
	journal = {International Journal of Discrete Event Control Systems},
	editor = {Serials Publications},

	pages = {69--82},
	year = {2010},
	month = {6},
	volume = {1},
	number = {1}
	
}