M. Becker, G. Di-guglielmo, F. Fummi, W. Mueller, G. Pravadelli et al., RTOS-aware refinement for TLM2.0-based HW/SW designs, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010.
DOI : 10.1109/DATE.2010.5456965

M. Becker, H. Zabel, and W. Müller, Integration astrakter RTOS-Simulation in den Entwurf eingebetteter automobiler E/E-systeme, MBMV'09: Proceedings of the 12th Workshop of Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2008.

G. C. Buttazzo and G. Buttanzo, Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications, 1997.
DOI : 10.1007/0-387-27578-9

P. Destro, F. Fummi, and G. Pravadelli, A Smooth Refinement Flow for Co-designing HW and SW Threads, 2007 Design, Automation & Test in Europe Conference & Exhibition, 2007.
DOI : 10.1109/DATE.2007.364575

D. Gajski, J. Zhu, R. Dömer, A. Gerstlauer, and S. Zhao, SpecC: Specification Language and Methology, 2000.
DOI : 10.1007/978-1-4615-4515-6

A. Gerstlauer, H. Yu, and D. Gajski, RTOS modeling for system level design, 2003 Design, Automation and Test in Europe Conference and Exhibition, 2003.
DOI : 10.1109/DATE.2003.1253598

M. Gligor, N. Fournel, and F. Pétrot, Using binary translation in event driven simulation for fast and flexible MPSoC simulation, Proceedings of the 7th IEEE/ACM international conference on Hardware/software codesign and system synthesis, CODES+ISSS '09, pp.71-80, 2009.
DOI : 10.1145/1629435.1629446

URL : https://hal.archives-ouvertes.fr/hal-00472056

H. M. Hassan, K. Sakanushi, Y. Takeuchi, and M. Imai, RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC, Design, Automation and Test in Europe, pp.554-559, 2005.
DOI : 10.1109/DATE.2005.263

URL : https://hal.archives-ouvertes.fr/hal-00181570

M. Krause, O. Brinkmann, and W. , A SystemC-based Software and Communication Refinement Framework for Distributed Embedded Systems, 2006.

M. Krause, D. Englert, O. Bringmann, and W. Rosenstiel, Combination of instruction set simulation and abstract RTOS model execution for fast and accurate target software evaluation, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08, pp.143-148, 2008.
DOI : 10.1145/1450135.1450168

H. Posadas, J. A. Adamez, E. Villar, F. Blasco, and F. Escuder, RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. Design Automation for Embedded Systems, pp.209-227, 2005.

G. Schirner and R. Dömer, Introducing preemptive scheduling in abstract rtos models using result oriented modeling, DATE '08: Proceedings of Design, Automation and Test in Europe, 2008.

. Meng-huan, W. Wu, C. Lee, R. Chuang, and . Tsay, Automatic generation of software TLM in multiple abstraction layers for efficient HW/SW co-simulation, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), 2010.
DOI : 10.1109/DATE.2010.5456986

H. Yu, Software Synthesis for System-on-Chip, 2005.

H. Zabel, W. Mueller, and A. Gerstlauer, Accurate RTOS Modeling and Analysis with??SystemC, Hardware-dependent Software, pp.233-260, 2009.
DOI : 10.1007/978-1-4020-9436-1_9