Dependable Software Engineering. Theories, Tools, and Applications - Nan Guan, Joost-Pieter Katoen, Jun Sun (Springer, 2019)