1. Integrating security requirements engineering into MBSE: profile and guidelines