Advances in temporal logic - Barringer, Howard 1951- (Kluwer Academic Publishers, 2000)