@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},
 booktitle = {EMSOFT '09: Proceedings of the 7th ACM international conference on Embedded software},
 year = {2009},
 isbn = {978-1-60558-627-4},
 pages = {107--116},
 location = {Grenoble, France},
 doi = {http://doi.acm.org/10.1145/1629335.1629351},
 publisher = {ACM},
 address = {New York, NY, USA},
}