P. D. Ramos and J. L. Fiadeiro,  "A computational tool that supports formal diagnosis of process design", in Information and Software Technology, vol. 40, no. 10, pp. 555-565, 1998