Automatic WSTS-based repair and deadlock detection of parameterized systems - Tom Baumeister; Swen Jacobs; Mouhammad Sakr; Marcus Völp (2025)