@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