@misc{indiciae6200170df43a,
  title = {Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System},
  author = {June Andronick and Corey Lewis and Carroll Morgan},
  year = {2015},
  doi = {10.4204/eptcs.196.2},
  url = {https://arxiv.org/abs/1511.04170},
  note = {Source identifier: 1511.04170}
}