@inproceedingsBecker_Di Guglielmo_Fummi_Müller_Pravadelli_Xie_2010, place=Dresden, title=RTOS-Aware Refinement for TLM2.0-based HW/SW Design, DOI=10.1109/DATE.2010.5456965, booktitle=Proceedings of DATE’10, publisher=IEEE, author=Becker, Markus and Di Guglielmo, Giuseppe and Fummi, Franco and Müller, Wolfgang and Pravadelli, Graziano and Xie, Tao, year=2010