@inproceedings{8c4640ebec394f28a10d1c9b9e14dc2f,
title = "Co-Simulation of Hybrid Systems with SpaceEx and Uppaal",
author = "Sergiy Bogomolov and Marius Greitschus and Jensen, \{Peter G.\} and Larsen, \{Kim G.\} and Marius Mikucionis and Thomas Strump and Stavros Tripakis",
note = "VK: Tripakis, S.",
year = "2015",
language = "English",
isbn = "978-91-7685-955-1",
publisher = "Link{\"o}ping University Electronic Press",
booktitle = "11th International Modelica Conference, Palais des Congr{\`e}s de Versailles, France, September 21 -23, 2015",
address = "Sweden",
}