Kevin Hollingworth Amer Saeed CoRSA - A Constraint Based Approach to Requirements and Safety Analysis. 3-15 http://link.springer.de/link/service/series/0558/bibs/1516/15160003.htm 1998 conf/safecomp/1998 SAFECOMP db/conf/safecomp/safecomp98.html#HollingworthS98