“Power and limitations of formal methods for software fabrication: Thirty years later”, IJCAI, vol. 41, no. 3, May 2017, Accessed: Jun. 20, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/1534