@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 }