Failure-Modes-Based Software Reading - Zhu, Yang-Ming. (SpringerBriefs in Computer Science, 2017)