@misc{indiciae506dd4ab1138, title = {Development of a State Machine Sequencer for the Keck Interferometer: Evolution, Development and Lessons Learned using a CASE Tool Approach}, author = {Rede, Leonard J. and Booth, Andrew and Hsieh, Jonathon and Summer, Kellee}, year = {2004}, url = {https://ntrs.nasa.gov/citations/20070025017}, note = {Source identifier: 20070025017} }