@article{LPT10a,
 author = {Kai Lampka and Simon Perathoner and Lothar Thiele},
 title = {Analytic Real-Time Analysis and Timed Automata: A Hybrid Methodology for the Performance Analysis of Embedded Real-Time Systems},
 journal = {Design Automation for Embedded Systems},
 number = {3},
 pages = {193--227},
 volume = {14},
 year = {2010}
}