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