Dependable Software Engineering: Theories, Tools, and Applications - Fränzle; Kapur, Deepak; Zhan, Naijun (Springer International Publishing, 2016)