Thirty Meter Telescope (TMT) MBSE Case Study Analyzing the Operational Behavior of the Alignment and Phasing System of the Thirty Meter Telescope using SysML