1. Science & Technology on Integrated Information System Laboratory, Institute of Software, Chinese Academy of Sciences, Beijing, China
2. Nanyang Technological University, Singapore, Singapore
3. King's College London, London, United Kingdom of Great Britain and Northern Ireland
4. Key Laboratory of High Confidence Software Technologies (Peking University), MoE, School of Computer Science, Peking University, Beijing, China