|
@inproceedings{LPT09, author = {Kai Lampka and Simon Perathoner and Lothar Thiele}, title = {Analytic Real-Time Analysis and Timed Automata: A Hybrid Method for Analyzing Embedded Real-Time Systems}, address = {Grenoble, France}, booktitle = {8th ACM & IEEE International conference on Embedded software, EMSOFT 2009}, pages = {107--116}, publisher = {ACM}, month = {Oct}, year = {2009} }