Current-state opacity and initial-state opacity of modular discrete event systems. - Yang, Jingkai; Deng, Weilin; Qiu, Daowen (Int. J. Control, 2022)