Papers by Peter G. Jensen:

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