Formally specifying temporal constraints and error recovery.

Stuart Kent, T. S. E. Maibaum, William J. Quirk

Browse the full RE paper archive.