\begin{thebibliography}{1}

\providecommand{\natexlab}[1]{#1}
\providecommand{\url}[1]{\texttt{#1}}
\providecommand{\urlprefix}{URL }
\providecommand{\eprint}[2][]{\url{#2}}

\bibitem[{Della Penna et~al.}(2013){Della Penna, Intrigila, Magazzeni, Melatti \& Tronci}]{DellaPenna_etal2013} Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, and Enrico Tronci. "CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems." \textit{European Journal of Control} 19, no. 1 (2013): 14--36. Elsevier North-Holland, Inc.. ISSN: 0947-3580. DOI: 10.1016/j.ejcon.2013.02.001.

\end{thebibliography}

