Twan Basten, Gabriel Juhás, Sandeep K. Shukla: Seventh International Conference on Application of Concurrency to System Design (ACSD 2007), 10-13 July 2007, Bratislava, Slovak Republic. IEEE Computer Society 2007, ISBN 978-0-7695-2902-8