TY - RPRT TI - Verifying Interfaces and Generating Interface Control Documents for the Alignment and Phasing Subsystem of the Thirty Meter Telescope from a System Model in SysML AU - Troy, Mitchell AU - Dekens, Frank AU - Michaels, Scott B. AU - Brack, Gary AU - Karban, Robert AU - Herzig, Sebastian J.I. PY - 2018 UR - https://ntrs.nasa.gov/citations/20210008667 ID - 20210008667 ER -