Describir: Requirements engineering for safety-critical systems /