CoRSA - A Constraint Based Approach to Requirements and Safety Analysis.

Kevin Hollingworth, Amer Saeed

Browse the full SAFECOMP paper archive.