Power and limitations of formal methods for software fabrication: Thirty years later. (2017). Informatica, 41(3). https://www.informatica.si/index.php/informatica/article/view/1534