P.: Computer-aided Verification (1996)

by E M Clarke, R Kurshan
Venue:IEEE Spectrum