Safety Analysis for Requirements Specifications: Methods and Techniques.

Amer Saeed, Rogrio de Lemos, Tom Anderson

Browse the full SAFECOMP paper archive.