@inproceedings{Andronick_LM_15,
    address          = {Suva, Fiji},
    author           = {Andronick, June and Lewis, Corey and Morgan, Carroll},
    booktitle        = {Workshop on Models for Formal Analysis of Real Systems (MARS 2015)},
    editor           = {{Robert J. van Glabbeek and Jan Friso Groote and Peter H{\"{o}}fner}},
    keywords         = {concurrency; embedded operating system; owicki-gries; software verification; echronos},
    month            = nov,
    pages            = {10--24},
    paperurl         = {https://trustworthy.systems/publications/nicta_full_text/8971.pdf},
    slides           = {https://trustworthy.systems/publications/nicta_slides/8971.pdf},
    title            = {Controlled {Owicki-Gries} Concurrency: Reasoning about the Preemptible {eChronos} Embedded Operating
                        System},
    year             = {2015}
  }