A Model-Based Approach to Controlling the ST-5 Constellation Lights-Out Using the GMSEC Message Bus and Simulink. - Jason Stanley; Robert Shendock; Kenneth J. Witt; Dan Mandl (Software Engineering Research and Practice, 2005)