Benoît Caillaud Josep Carmona Kunihiko Hiraishi 11th International Conference on Application of Concurrency to System Design, ACSD 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011 IEEE 2011 http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5986770 978-0-7695-4387-1 ACSD db/conf/acsd/acsd2011.html