Author: International Conference on Application of Concurrency to System Design (9th 2009 Augsburg, Germany)