Before revision: References RJ Ramadge and WM Wonham: Supervisory control of a class of discrete event processes, SIAM J.
After revision: References P. J. Ramadge and W. M. Wonham: Supervisory control of a class of discrete event processes, SIAM J.