Enhancing agile model-driven engineering with automated formal verification of BPMN models. - Kimia Kolahdouz; Shekoufeh Kolahdouz Rahimi; Kevin Lano (STAF Workshops, 2025)