@inproceedingsOliveira_Zabel_Müller_2010, place=Dresden, title=Assertion-Based Verification of RTOS Properties, DOI=10.1109/DATE.2010.5457130, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Oliveira, Marcio F. S. and Zabel, Henning and Müller, Wolfgang, year=2010 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

@inproceedingsSchattkowsky_Müller_Rettberg_2005, place=Munich, Germany , title=A Model-Based Approach for Executable Specification on Reconfigurable Hardware, DOI=10.1109/DATE.2005.20, booktitle=Proceedings of DATE’05, publisher=IEEE, author=Schattkowsky, Tim and Müller, Wolfgang and Rettberg, Achim, year=2005 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20