An Empirical Study of Error Patterns in Industrial Business Process Models · Study