Tiziana Margaria, Zongyan Qiu, Hongli Yang: Sixth International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, 4-6 July 2012, Beijing, China. IEEE Computer Society 2012, ISBN 978-0-7695-4751-0