Modular fault diagnosis based on discrete event systems for a mixer chemical process | IEEE Conference Publication | IEEE Xplore