Jonathan Billington Zhenhua Duan Maciej Koutny 8th International Conference on Application of Concurrency to System Design (ACSD 2008), Xi'an, China, June 23-27, 2008 IEEE 978-1-4244-1838-1 ACSD 2008 db/conf/acsd/acsd2008.html