Software Fault Detection and Correction: Modeling and Applications - Rui Peng, Yan-Fu Li, Yu Liu (Springer, 2018)