Jasen Markovski, Michel A. Reniers. Verifying Performance of Supervised Plants. In Jens Brandt, Keijo Heljanko, editors, 12th International Conference on Application of Concurrency to System Design, ACSD 2012, Hamburg, Germany, June 27-29, 2012. pages 52-61, IEEE, 2012. [doi]
Abstract is missing.