https://123dok.net/document/nq7jpenq-intermittent-computing-with-peripherals-formally-verified.html