Artificial intelligence and software modeling approaches in autonomous vehicles for safety management: a systematic review