Supervisory control for nondeterministic systems | doi.page