Automatic symbolic verification of embedded systems (1996)

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