A temporal logic of actions - Lamport, Leslie 1941- (1990)