@inproceedings{ABK08:Memo08-??, <br>AUTHOR = {Alkassar, Eyad and Böhm, Peter and Knapp, Steffen},<br>TITLE = {Correctness of a Fault-Tolerant Real-Time Scheduler Algorithm and its Hardware Implementation},<br>YEAR = {2008},<br>PAGES = {175--186}, <br>BOOKTITLE = {Formal Methods and Models for Codesign (MEMOCODE'2008)}, <br>PUBLISHER = {IEEE Computer Society Press},<br>EE = {http://dx.doi.org/10.1109/MEMCOD.2008.4547708},<br>}