Dependable Software Engineering. Theories, Tools, and Applications - Xinyu Feng, Markus Müller-Olm, Zijiang Yang (Springer, 2018)