Madni, Erwin, Sievers, 2020. Constructing Models for Systems Resilience: Challenges, Concepts, and Formal Methods.. https://doi.org/10.3390/systems8010003