Abstract RTOS Modeling for Embedded Systems. - Fabiano Hessel; Vitor M. da Rosa; Igor M. Reis; Ricardo Planner; César A. M. Marcon; Altamiro Amadeu Susin (IEEE International Workshop on Rapid System Prototyping, 2004)