OpenErrorPro: A New Tool for Stochastic Model-Based Reliability and Resilience Analysis. - Andrey Morozov 001; Kai Ding 001; Mikael Steurer; Klaus Janschek (ISSRE, 2019)