@misc{indiciae2e2a5c7e55cc, title = {A Model-based Approach to Reactive Self-Configuring Systems}, author = {Williams, Brian C. and Nayak, P. Pandurang}, year = {1996}, url = {https://ntrs.nasa.gov/citations/20020035537}, note = {Source identifier: 20020035537} }