Failure-modes-based software reading - Zhu, Yang-Ming (Springer, 2017)