TY - RPRT TI - A Model-based Approach to Reactive Self-Configuring Systems AU - Williams, Brian C. AU - Nayak, P. Pandurang PY - 1996 UR - https://ntrs.nasa.gov/citations/20020035537 ID - 20020035537 ER -