Stefan Bisanz Ulrich Hannemann Jan Peleska Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework. 64-67 2008 COMPSAC http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.155 conf/compsac/2008 db/conf/compsac/compsac2008.html#BisanzHP08