Invited talks [2011 11th International Conference on Application of Concurrency to System Design] | IEEE Conference Publication | IEEE Xplore