Author: Spain) International Conference on Application of Concurrency to System Design (13th 2013 Barcelona