Becker, Markus, et al. “RTOS-Aware Refinement for TLM2.0-Based HW/SW Design.”10.1109/DATE.2010.5456965__Proceedings of DATE’10, IEEE, 2010, doi:10.1109/DATE.2010.5456965.
LibreCat: /record/37040
DOI: 10.1109/DATE.2010.5456965

Müller, Wolfgang, et al. “Verification of Real-Time Properties for Hardware-Dependant Software.” Proceedings of HLD, IEEE, 2010.
LibreCat: /record/37053