Autonomous and Autonomic Systems: A Paradigm for Future Space Exploration Missions Michael G Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
Model-Drive Architecture for Agent-Based Systems Michael G Hinchey, Denis Gradanin, H. Lally Singh, Shawn A. Bohner
Ten Commandments Revisited: A Ten-Year Perspective on the Industrial Application of Formal Methods Jonathan P. Bowen, Michael G Hinchey
You Can't Get There From Here Problems and Potential Solutions in Developing New Classes of Complex Systems Michael G Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff, Ro Sterritt