@conference {135,
	title = {Process theory for supervisory control of stochastic systems with data},
	booktitle = {ETFA},
	year = {2012},
	author = {Jasen Markovski}
}