1. State Key Laboratory of Computer Sciences, Institute of Software, Chinese Academy of Sciences; University of Chinese Academy of Sciences, Beijing, China
2. College of Information and Computer Sciences, University of Massachusetts Amherst, USA
3. Key Laboratory of High Confidence Software Technologies (Ministryof Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China, Telecom SudParis, InstitutPolytechnique de Paris, Evry, France