@inproceedings{abk:memocode08,
  title = "Correctness of a Fault-Tolerant Real-Time Scheduler and its Hardware Implementation",
  author = "Eyad Alkassar and Peter B{\"o}hm and Steffen Knapp",
  year = "2008",
  booktitle = "Sixth ACM {\&} IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE'08)",
  isbn = "978-1-4244-2417-7",
  location = "Anaheim, CA, USA",
  month = "June",
  pages = "175--186",
  publisher = "IEEE Computer Society",
  doi = "10.1109/MEMCOD.2008.4547708",
}