Computer-aided verification - Clarke, E.M.; Kurshan, R.P. (IEEE Spectrum, Spectrum, IEEE, IEEE Spectr., 1996)