Hierarchical supervisory control of discrete event systems based on H-observability. - Kim, S.-J.; Cho, K.-H.; Lim, J.-T. (IEE Proceedings -- Control Theory & Applications, 2003)