M. E. Campbell, Grocott, S. C. O., How, J. P., Miller, D. W., and Crawley, E. F., “Verification Procedure for On-orbit Controllers for the MIT Middeck Active Control Experiment”, in American Control Conference, Seattle, WA, 1995, pp. 3600-3605.