Failure-Modes-Based Software Reading - Yang-Ming Zhu (Springer, 2017)