Colonnelli, I., Medić, D., Mulone, A., Bono, V., Padovani, L., & Aldinucci, M. (2024). Introducing SWIRL: An Intermediate Representation Language for Scientific Workflows [Conference paper]. Formal Methods. FM 2024, 14933, 226–244. https://doi.org/10.1007/978-3-031-71162-6_12