@techreport{Elphinstone_Brandt_06:tr, author = {Elphinstone, Kevin and Brandt, Scott}, institution = {NICTA}, month = jul, paperurl = {https://trustworthy.systems/publications/nicta_full_text/487.pdf}, title = {Proceedings of the 2007 Workshop on Operating System Platforms for Embedded Real-Time Applications}, year = {2006} }