Title: Co-Simulation of Hybrid Systems with SpaceEx and Uppaal Authors: Sergiy Bogomolov, Marius Greitschus, Peter G. Jensen, Kim G. Larsen, Marius Mikučionis, Thomas Strump and Stavros Tripakis Links: Abstract, Full paper
