E. Serna M. and A. Serna A., “Power and limitations of formal methods for software fabrication: Thirty years later”, IJCAI, vol. 41, no. 3, May 2017.