SysML-sec: A sysML environment for the design and development of secure embedded systems