Ramos, P. & Fiadeiro, J. L. (1998). A computational tool that supports formal diagnosis of process design. Information and Software Technology. 40 (10), 555-565