@misc{indiciaefbbeebcaaefd,
  title = {Verifying Interfaces and Generating Interface Control Documents for the Alignment and Phasing Subsystem of the Thirty Meter Telescope from a System Model in SysML},
  author = {Troy, Mitchell and Dekens, Frank and Michaels, Scott B. and Brack, Gary and Karban, Robert and Herzig, Sebastian J.I.},
  year = {2018},
  url = {https://ntrs.nasa.gov/citations/20210008667},
  note = {Source identifier: 20210008667}
}