Rajeev Alur Thomas A. Henzinger Introduction. 233 2001 164 Inf. Comput. 2 db/journals/iandc/iandc164.html#AlurH01