Virtual Modules in Discrete-Event Systems: Achieving Modular Diagnosability. - Dmitry Myadzelets; Andrea Paoli (CoRR, 2013)