SysML-Sec: A model driven approach for designing safe and secure systems