Jamieson M. Cobleigh Lori A. Clarke Leon J. Osterweil Verifying properties of process definitions. 96-101 2000 ISSTA http://doi.acm.org/10.1145/347324.348876 db/conf/issta/issta2000.html#CobleighCO00