CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. - Kevin Hollingworth; Amer Saeed (SAFECOMP, 1998)