Integrating Security Requirements Engineering into MBSE: Profile and Guidelines | Synapse