Task-Driven Supervisory Control of Discrete Event Systems. - Christian H. Golaszewski; Robert P. Kurshan (CAV, 1990)