Oliveira, M. F. S., Zabel, H., &; Müller, W. (2010). Assertion-Based Verification of RTOS Properties. Proceedings of DATE’10. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457130 
LibreCat: /record/37009
DOI: 10.1109/DATE.2010.5457130

Schattkowsky, T., Müller, W., &; Rettberg, A. (2005). A Model-Based Approach for Executable Specification on Reconfigurable Hardware. Proceedings of DATE’05.https://doi.org/10.1109/DATE.2005.20 
LibreCat: /record/39029
DOI: 10.1109/DATE.2005.20