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 ACSD IEEE Computer Society 2007 db/conf/acsd/acsd2007.html 978-0-7695-2902-8