Automatic symbolic verification of embedded systems (1996)

by R Alur, T A Henzinger, P-H Ho
Venue:In IEEE Transactions on Software Engineering