Issues On Analysing L4 For Its Wcet M Singal, S Petters, 1st international workshop on microkernels for embedded systems MIKES 2007, Proceedings, . NICTA, Sydney, Australia, 2007, pp. 58 - 63
Deadline Spanning: A Graph Based Approach S Petters, Proceedings of the 11th IEEE international conference on embedded and real-time computing systems and applications, . IEEE computer society, Los Alamitos, CA, USA, 2005, pp. 181 - 184