Safe digital twin in automotive systems | Synapse