Structural Decomposition and its Use in Qualitative Model-based Diagnosis of Complex Systems : Plenary Talk | IEEE Conference Publication | IEEE Xplore