Mathematische Modellierung von Stuxnet-ähnlicher Malware für autonome Fahrzeuge | Synapse