Verifying Transient Behavior Specifications in Chaos Engineering Using Metric Temporal Logic and Property Specification Patterns. - Sebastian Frank 001; M. Alireza Hakamian; Denis Zahariev; André van Hoorn (ICPE (Companion), 2023)