Kai Lampka Simon Perathoner Lothar Thiele Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems. 107-116 2009 EMSOFT http://doi.acm.org/10.1145/1629335.1629351 conf/emsoft/2009 db/conf/emsoft/emsoft2009.html#LampkaPT09