Using timed automata and fuzzy logic for diagnosis of multiple faults in DES | IEEE Conference Publication | IEEE Xplore