Christian H. Golaszewski, Robert P. Kurshan: Task-Driven Supervisory Control of Discrete Event Systems. CAV 1990: 282-291