A structural and behavioral reasoning system for diagnosing large-scale systems | IEEE Journals & Magazine | IEEE Xplore