@article {51,
	title = {Verifying Performance of Supervised Plants},
	journal = {2010 10th International Conference on Application of Concurrency to System Design},
	year = {2012},
	pages = {52-61},
	issn = {1550-4808},
	doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2012.24},
	author = {Jasen Markovski and Michel A. Reniers}
}