Becker, Markus, Giuseppe Di Guglielmo, Franco Fummi, Wolfgang Müller, Graziano Pravadelli, and Tao Xie. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”https://doi.org/10.1109/DATE.2010.5456965__In Proceedings of DATE’10. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5456965 .
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

Müller, Wolfgang, Marcio F. da S. Oliveira, Henning Zabel, and Markus Becker. “Verification of Real-Time Properties for Hardware-Dependant Software.” In Proceedings of HLD. IEEE, 2010.
LibreCat: /record/37053