@inproceedings{Elphinstone_GR_07,
    address          = {Pisa, Italy},
    author           = {Elphinstone, Kevin and Greenaway, David and Ruocco, Sergio},
    booktitle        = {Workshop on Operating System Platforms for Embedded Real-Time Applications (OSPERT)},
    issn             = {1833-9646},
    month            = dec,
    pages            = {69--77},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/542.pdf},
    publisher        = {NICTA, Australia},
    title            = {Lazy queueing and direct process switch — merit or myths? },
    year             = {2007}
  }