Synthesis Method for Hierarchical Interface-Based Supervisory Control. - Ryan J. Leduc; Pengcheng Dai; Raoguang Song (IEEE Trans. Autom. Control., 2009)