RTOS modeling in SystemC for real-time embedded SW simulation: A POSIX model | Publicación