Timed RTOS Modeling for Embedded System Design.

Published in: IEEE Real-Time and Embedded Technology and Applications Symposium (2005)