@inproceedings{Andronick_06,
    address          = {Paphos, Cyprus},
    author           = {June Andronick},
    booktitle        = {{Proceedings of Second International Symposium on Leveraging Applications of Formal Methods,
                        Verification and Validation}},
    month            = nov,
    note             = {{Invited Speaker}},
    pages            = {129--136},
    paperUrl         = {https://trustworthy.systems/publications/papers/Andronick_06.pdf},
    publisher        = {IEEE},
    title            = {{Formally Proved Anti-tearing Properties of Embedded C Code}},
    year             = {2006}
  }