Ryan J. Leduc, Robi Malik. A compositional approach for verifying hierarchical interface-based supervisory control. In Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, editors, 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. pages 104-110, International Federation of Automatic Control, 2010. [doi]
Abstract is missing.