metrics for process models,empirical foundations of verification, error prediction, and guidelines for correctness

jan mendling · springer-verlag new york inc