Kurt Rohloff, Stéphane Lafortune: On the computational complexity of the verification of modular discrete-event systems. CDC 2002: 16-21