A Property-Driven Approach to Formal Verification of Process Models

Related