E. Serna M. and A. Serna A., “Power and limitations of formal methods for software fabrication: Thirty years later”, Informatica, vol. 41, no. 3, May 2017, Accessed: Aug. 24, 2026. [Online]. Available: https://www.informatica.si/index.php/informatica/article/view/1534