Software Requirement Specification for the Automotive Sector: The Case of a Post-Collision Event Control System | IEEE Conference Publication | IEEE Xplore