Quote
S. Giallorenzo, F. Montesi, M. Peressotti, F. Rademacher, S. Sachweh, and P. Wizenty, "A Toolchain for Checking Domain- and Model-Driven Properties of Jolie Microservices," in Service-Oriented Computing. ICSOC 2024. Lecture Notes in Computer Science, 2024, pp. 161-175.