"Prototyping an Inconsistency Checking Tool for Software Process Models."

Jin-Kao Hao, F. Trousset, Jean Jacques (1992)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics