@conference {124,
	title = {Verifying Performance of Supervised Plants},
	booktitle = {ACSD},
	year = {2012},
	publisher = {IEEE},
	organization = {IEEE},
	author = {Jasen Markovski and Michel A. Reniers}
}