@article{6416097,
    Author = {Gascard, E. and Simeu-Abazi, Z.},
    ISSN = {1545-5955},
    Journal = {IEEE Transactions on Automation Science and Engineering},
    Keywords = {automata theory;discrete event systems;failure analysis;fault diagnosis;batch neutralization process;deterministic automaton;discrete event systems;failure occurrence;fault diagnosis;maintenance cost reduction;modular modeling;timed automata;Algorithm design and analysis;Automata;Discrete event systems;Fault detection;Fault diagnosis;Diagnosers;discrete-event systems;fault detection;fault diagnosis;modular modeling;software implementation;timed automaton},
    Month = {Oct},
    Number = {4},
    Pages = {1101-1123},
    Title = {Modular Modeling for the Diagnostic of Complex Discrete-Event Systems},
    Volume = {10},
    Year = {2013},
    bdsk-url-1 = {https://dx.doi.org/10.1109/TASE.2012.2229707},
    date-added = {2018-03-13 08:43:53 +0000},
    date-modified = {2018-03-13 08:43:53 +0000},
    doi = {10.1109/TASE.2012.2229707}
}

@article{6416097, Author = {Gascard, E. and Simeu-Abazi, Z.}, ISSN = {1545-5955}, Journal = {IEEE Transactions on Automation Science and Engineering}, Keywords = {automata theory;discrete event systems;failure analysis;fault diagnosis;batch neutralization process;deterministic automaton;discrete event systems;failure occurrence;fault diagnosis;maintenance cost reduction;modular modeling;timed automata;Algorithm design and analysis;Automata;Discrete event systems;Fault detection;Fault diagnosis;Diagnosers;discrete-event systems;fault detection;fault diagnosis;modular modeling;software implementation;timed automaton}, Month = {Oct}, Number = {4}, Pages = {1101-1123}, Title = {Modular Modeling for the Diagnostic of Complex Discrete-Event Systems}, Volume = {10}, Year = {2013}, bdsk-url-1 = {https://dx.doi.org/10.1109/TASE.2012.2229707}, date-added = {2018-03-13 08:43:53 +0000}, date-modified = {2018-03-13 08:43:53 +0000}, doi = {10.1109/TASE.2012.2229707} }