Automotive Post-Collision Control Software System: Requirements and Verification. - Jorge R. Aguilar-Cisneros; Carlos Alberto Fernández y Fernández; Genaro de la Rosa García; A. León (Program. Comput. Softw., 2021)