Dependable Software Engineering. Theories, Tools, and Applications - Shengchao Qin, Jim Woodcock, Wenhui Zhang (Springer, 2021)