@Article{DellaPenna_etal2013,
author="Della Penna, Giuseppe
and Intrigila, Benedetto
and Magazzeni, Daniele
and Melatti, Igor
and Tronci, Enrico",
title="CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems",
journal="European Journal of Control",
year="2013",
publisher="Elsevier North-Holland, Inc.",
volume="19",
number="1",
pages="14--36",
optnote="exported from refbase (show.php?record=31), last updated on Thu, 16 Jan 2014 16:18:21 +0100",
issn="0947-3580",
doi="10.1016/j.ejcon.2013.02.001",
opturl="http://www.sciencedirect.com/science/article/pii/S0947358013000034",
file=":papers/dellapenna/2013/31\textit{DellaPenna}etal2013.pdf:PDF"
}