From LTL to Scenarios: Automatic Test Case Generation for Axini Modeling Language. - Maarten Schröder; Machiel van der Bijl; Wan J. Fokkink (Rebeca for Actor Analysis in Action, 2025)