RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model. - Hector Posadas; Jesús Ádamez; Eugenio Villar; Francisco Blasco; F. Escuder (Des. Autom. Embed. Syst., 2005)

POSIX modeling in SystemC. - Hector Posadas; Jesús Ádamez; Pablo Sánchez; Eugenio Villar; Francisco Blasco (ASP-DAC, 2006)