Automatic symbolic verification of embedded systems (1996)

by R Alur, T A Henzinger, P-H Ho
Venue:IEEE Trans. Softw. Eng