Stefan Simon, Steven Liu: An object-oriented design method for Fault Detection and Isolation. CDC 2013: 5636-5642