Darren D. Cofer Murali Rangarajan Formal Verification of Overhead Accounting in an Avionics RTOS. 181-190 2002 conf/rtss/2002 RTSS http://doi.ieeecomputersociety.org/10.1109/REAL.2002.1181573 db/conf/rtss/rtss2002.html#CoferR02