published in Proceedings - International Conference on Application of Concurrency to System Design, ACSD Journal
presented at event 2012 12th International Conference on Application of Concurrency to System Design (ACSD) Conference