Generating Formal Process Models and Decisions from Examination Rules in Natural Text with ChatGPT. - Andreas Speck; Melanie Windrich; Jan Hesse; Melina Sentz; David Kuhlen; Thomas Stuht; Elke Pulvermüller (ENASE, 2025)