@InProceedings{Alkassar:MEMOCODE08-175,
  author =       "Eyad Alkassar and Peter B{\"o}hm and Steffen Knapp",
  title =        "Correctness of a Fault-Tolerant Real-Time Scheduler
                 Algorithm and its Hardware Implementation",
  booktitle =    "6th ACM {\&} IEEE International Conference on Formal
                 Methods and Models for Co-Design (MEMOCODE 2008), June
                 5--7 2008, Anaheim, CA, USA",
  publisher =    "IEEE",
  year =         "2008",
  pages =        "175--186",
  ee =           "http://dx.doi.org/10.1109/MEMCOD.2008.4547708",
}