Formal Support for Failure Knowledge Modeling and Diagnostic Reasoning Using Polychromatic sets | IEEE Conference Publication | IEEE Xplore