Safety assessment for dynamic systems: A survey | Synapse