@inproceedings{Singal_Petters_07, address = {Sydney, Australia}, author = {Mohit Singal and Stefan M. Petters}, booktitle = {International Workshop on Microkernels for Embedded Systems}, month = jan, organization = {NICTA}, paperurl = {https://trustworthy.systems/publications/papers/Singal_Petters_07.pdf}, title = {Issues in Analysing {L4} for its {WCET}}, year = {2007} }