A New Digital Forensics Model of Smart City Automated Vehicles | IEEE Conference Publication | IEEE Xplore