@inproceedings{Die2007,
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}
}
@COMMENT{Bibtex file generated on }