@ARTICLE{EJC2013,
author = {Giuseppe Della Penna and Benedetto Intrigila and Daniele Magazzeni and Igor Melatti and Enrico Tronci},
title = {CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems},
doi = {10.1016/j.ejcon.2013.02.001},
journal = {European Journal of Control},
editor = {Elsevier},
pages = {14--36},
year = {2013},
month = {1},
volume = {19},
number = {1}
}