Harnessing ChatGPT for Model Transformation in Software Architecture: From UML State Diagrams to Rebeca Models for Formal Verification. - Zahra Moezkarimi; Kevin Eriksson; Albin Alm Johansson; Alessio Bucaioni; Marjan Sirjani (ICSA Companion, 2025)