Message-Oriented Decomposition for Modeling Supervisory Control in Manufacturing System. - X. Hua Du; Chen Zhou (ICRA, 1999)