The value of SysML modeling during system operations: A case study | IEEE Conference Publication | IEEE Xplore