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