Automated technology for verification and analysis - D'Souza, Deepak,; Narayan Kumar, K., (Springer, 2017)