Amer Saeed Rogério de Lemos Tom Anderson 0001 Safety Analysis for Requirements Specifications: Methods and Techniques. 27-41 1995 SAFECOMP https://doi.org/10.1007/978-1-4471-3054-3_3 conf/safecomp/1995 db/conf/safecomp/safecomp1995.html#SaeedLA95