Becker, M., Di Guglielmo, G., Fummi, F., Müller, W., Pravadelli, G., &; Xie, T. (2010). RTOS-Aware Refinement for TLM2.0-based HW/SW Design. Proceedings of DATE’10. Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5456965