Generating Formal Process Models and Decisions from Examination Rules in Natural Text with ChatGPT Topics: Business Process Management and Engineering; Quality Management; Requirements Engineering; Software Developments for Science and Research; SSE for Data and Process Mining In Proceedings of the 20th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 848-857, 2025 , Porto, Portugal