“Power and limitations of formal methods for software fabrication: Thirty years later”, INF, vol. 41, no. 3, May 2017, Accessed: Nov. 15, 2025. [Online]. Available: https://puffbird.ijs.si/index.php/informatica/article/view/1534