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