Requirements modeling in SEAM: The example of a car crash management system | IEEE Conference Publication | IEEE Xplore