@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 

@inproceedingsZabel_Müller_2009, place=Nice, France, title=Increased Accuracy through Noise Injection in Abstract RTOS Simulation, DOI=10.1109/DATE.2009.5090925, booktitle=Proceedings of DATE’09, author=Zabel, Henning and Müller, Wolfgang, year=2009