"Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness (Lecture Notes in Business Information Processing)" - читать интересную книгу автора (Jan Mendling)