Failure-Modes-Based Software Reading - Zhu, Yang-Ming (Springer International Publishing : Imprint: Springer, 2017)