@inproceedingsDie2007, Author = {Dierks, Henning and Metzner, Alexander and Stierand, Ingo}, Title = {Combining Timed Automata based Formal Specifications and Real-Time Scheduling Analysis}, Year = {2007}, Month = {06}, type = {inproceedings} @COMMENTBibtex file generated on