Automated Technology for Verification and Analysis - D'Souza; D'Souza, Deepak; Narayan Kumar, K. (Springer International Publishing, 2017)