Failure-Modes-Based Software Reading - Zhu, Yang-Ming (Springer International Publishing, 2020)