Engineering Trustworthy Software Systems - Bowen; Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (Springer International Publishing, 2017)