бумага про Ivory & Tower // свежак с ICFP
https://github.com/GaloisInc/smaccmpilot-experiencereport/blob/master/embedded-experience.pdf