Software Quality Assurance - Neil Walkinshaw (Springer, 2017)