Robust Requirements Specifications for Safety - Critical Systems.

Amer Saeed, Rogrio de Lemos, Tom Anderson

Browse the full SAFECOMP paper archive.