Author: Portugal) International Conference on Application of Concurrency to System Design (10th 2010 Braga