Mutation testing for temporal alloy models (extended version). - Jovanovic, Ana; Sullivan, Allison (Software & Systems Modeling, 2025)