Ramos, P. & Fiadeiro, J. L. (1998). A computational tool that supports formal diagnosis of process design. Information and Software Technology, 40(10), 555?565. https://doi.org/10.1016/S0950-5849(98)00082-2