Author: International Conference on Application of Concurrency to System Design (7th 2007 Bratislava, Slovakia)