@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} }