Security Modeling of Autonomous Systems | Synapse