2012 12th International Conference on Application of Concurrency to System Design (ACSD) Conference