1
Metrics for Process Models [E-Book] : Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness /