Conditional Synchronized Diagnoser for Modular Discrete-event Systems. - Felipe G. Cabral; Maria Z. M. Veras; Marcos V. Moreira (ICINCO (2), 2017)