TY - RPRT TI - Development of a State Machine Sequencer for the Keck Interferometer: Evolution, Development and Lessons Learned using a CASE Tool Approach AU - Rede, Leonard J. AU - Booth, Andrew AU - Hsieh, Jonathon AU - Summer, Kellee PY - 2004 UR - https://ntrs.nasa.gov/citations/20070025017 ID - 20070025017 ER -