sentences:  The seminal application of the framework was a fault detection system for the reaction control system of the NASA Space Shuttle Discovery.Development on this PRS continued at the Australian Artificial Intelligence Institute through to the late 1990s, which lead to the development of a C++ implementation and extension called dMARS.The system architecture of SRI's PRS includes the following components