Software Verification and Validation of Safe Autonomous Cars: A Systematic Literature Review | IEEE Journals & Magazine | IEEE Xplore