Reduced-complexity verification for initial-state opacity in modular discrete event systems - Saboori, A.; Hadjicostis, Christoforos N.; Hadjicostis, Christoforos N. [0000-0002-1706-708X] (2010)