related documents Documentation of requirements for computer systems Conferences Formally specifying temporal constraints and error recovery Conferences