Antoine Colin Isabelle Puaut Worst-Case Execution Time Analysis of the RTEMS Real-Time Operating System. 191-198 2001 conf/ecrts/2001 ECRTS http://csdl.computer.org/comp/proceedings/ecrts/2001/1221/00/12210191abs.htm db/conf/ecrts/ecrts2001.html#ColinP01a