Public Processes Legal Issues Verification using YAWL Topics: Analysis and Design Methods; Business Process Management and Engineering; Process Improvement In Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 289-296, 2021