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