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