Andronick, 2006. Formally Proved Anti-tearing Properties of Embedded C Code, in: . IEEE.. https://doi.org/10.1109/isola.2006.14