1. School of Electronics Engineering and Computer Science, Peking University, Beijing, China
2. Michigan State University, Michigan, USA
3. Key Laboratory of High Confidence Software Technologies (Ministry of Education), School of Electronics Engineering and Computer Science, Peking University, Beijing, China Telecom SudParis, Institut Polytechnique de Paris, Evry, France