Engineering Trustworthy Software Systems - Bowen; Zhiming Liu; Zili Zhang; Liu, Zhiming; Zhang, Zili (Springer International Publishing, 2018)