1. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China
2. College of Information and Computer Sciences, University of Massachusetts, Amherst, USA
3. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China, Institut Mines, Telecom SudParis, Evry, France