@misc{ERTOS_09,
    key              = {ERTOS},
    month            = jul,
    note             = {NICTA},
    paperurl         = {https://trustworthy.systems/publications/papers/ERTOS_09.pdf},
    title            = {Trustworthy Embedded Systems---{ERTOS-2} Project Plan 2009--2013},
    year             = {2009}
  }