sysML exmpl