Engineering Trustworthy Software Systems - Bowen, Jonathan P. (Springer International Publishing, 2020)