Software architecture for diagnosing physical systems | IEEE Conference Publication | IEEE Xplore