Jan Mendling Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness. Lecture Notes in Business Information Processing 6 Springer 2008 978-3-540-89223-6 http://dx.doi.org/10.1007/978-3-540-89224-3