@inproceedings{Met2005,
Author = {Metzner, Alexander and Herde, Christian},
Title = {RTSAT - Scheduling Tasks in Distributed Real-Time Systems by Satisfiability Checking},

Year = {2005},
Month = {01},
Isbn = {1},
Booktitle = {Proceedings of the IEEE Real-Time Systems Symposium},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }