SysML protocol simulation