A Semiautomatic Process Model Verification Method based on Process Modeling Guidelines Topics: Business Modeling and Business Process Management; Measurements, Metrics and Evaluation of EA Artefacts and Processes; Methods, Processes and Patterns for EA Development; Models and Frameworks In Proceedings of the 19th International Conference on Enterprise Information Systems - Volume 3: ICEIS, 274-281, 2017 , Porto, Portugal