Publication

Requirements modeling in SEAM: The example of a car crash management system