Semi-formal Modeling of Multi-technological Systems II: SysML Beyond the Requirements Diagram