Formally specifying temporal constraints and error recovery. - Stuart Kent 001; T. S. E. Maibaum; William J. Quirk (RE, 1993)