DiSpel Cockpit: Specification, Verification, and Refinement of Resilience Scenarios. - Sebastian Frank 001; Aref El-Maarawi Tefur; M. Alireza Hakamian; André van Hoorn (ECSA (Tracks and Workshops), 2024)