@proceedings{Brandt_Elphinstone_07,
    address          = {Pisa, Italy},
    editor           = {Scott Brandt and Kevin Elphinstone},
    issn             = {1833-9646},
    month            = jul,
    oldlabel         = {Elphinstone_07},
    paperurl         = {https://trustworthy.systems/publications/papers/Brandt_Elphinstone_07.pdf},
    publisher        = {NICTA},
    title            = {Proceedings of the 3rd Workshop on Operating System Platforms for Embedded Real-Time Applications
                        (OSPERT)},
    year             = {2007}
  }