Real-Time Operating System Services for Realistic SystemC Simulation Models of Embedded Systems. - P. Hastono; Stephan Klaus; Sorin A. Huss (FDL, 2004)