Analysis and Validation of Control-Flow Complexity Measures with BPMN Process Models