@inproceedings{KFF7c,
title = {Constructing verification models of nonlinear Simulink systems via syntactic hybridization },
author = {Kekatos, Nikolaos and Forets, Marcelo and Frehse, Goran},
year = {2017},
booktitle = {Conference on Decision and Control ({CDC})},
pages = {1788--1795},
team = {TEMPO},
}