Jorge R. Aguilar-Cisneros, Carlos Alberto Fernández y Fernández, Genaro de la Rosa García, A. León. Automotive Post-Collision Control Software System: Requirements and Verification. Programming and Computer Software, 47(8):735-745, 2021. [doi]
Abstract is missing.