Behavioral interaction identification between safety and security features in safety-critical systems | Synapse