@inproceedings{Met2005, Author = {Metzner, A. and Fränzle, M. and Herde, C. and Stierand, I.}, Title = {Scheduling Distributed Real-Time Systems by Satisfiability Checking}, Year = {2005}, Pages = {409-415}, Month = {01}, Editor = {IEEE Computer Society}, Publisher = {IEEE Computer Society}, Isbn = {1}, Booktitle = {Proceedings of the IEEE Conference on Embedded and Real-Time Computing Systems and Applications.}, type = {inproceedings} } @COMMENT{Bibtex file generated on }