Automatic symbolic veri cation of embedded systems (1996)

by R Alur, T A Henzinger
Venue:IEEE Transactions on Software Engineering