A Mathematical Modeling of Stuxnet-Style Autonomous Vehicle Malware | Synapse