Hierarchical control of discrete-event systems - Wong, K. C.; Wonham, W. M. (Springer, 1996)
http://dx.doi.org/10.1007/BF01797154
Keywords: SA-SP