@conference {136, title = {Process theory for supervisory control with partial observation of events and states}, booktitle = {CDC}, year = {2012}, author = {Jasen Markovski} }