A really temporal logic - Alur, Rajeev; Henzinger, Thomas 1962- (1989)