@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},
    type             = {Technical Report},
    year             = {2006}
  }