Oliveira, Marcio F. S., Henning Zabel, and Wolfgang Müller. “Assertion-Based Verification of RTOS Properties.”https://doi.org/10.1109/DATE.2010.5457130__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457130 .

Zabel, Henning, and Wolfgang Müller. “Increased Accuracy through Noise Injection in Abstract RTOS Simulation.”https://doi.org/10.1109/DATE.2009.5090925__In Proceedings of DATE’09. Nice, France, 2009.https://doi.org/10.1109/DATE.2009.5090925 .