Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review. - Nijat Rajabli; Francesco Flammini; Roberto Nardone; Valeria Vittorini (IEEE Access, 2021)