Completeness, Robustness, and Safety in Real-Time Software Requirements Specification.

Matthew S. Jaffe, Nancy G. Leveson

Browse the full ICSE paper archive.