Engineering Trustworthy Software Systems - Jonathan P. Bowen, Zhiming Liu, Zili Zhang (Springer, 2020)