Reusable Specification Patterns for Verification of Resilience in Autonomous Hybrid Systems. - Julius Adelt; Robert Mensing; Paula Herber (FM (2), 2024)