A semantics driven temporal verification system - Gough, Graham D.; Barringer, Howard (Univ., 1987)