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