Max Barth, Marie-Christine Jakobs: Test-Case Generation with Automata-Based Software Model Checking. SPIN 2024: 248-267