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

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