1. Beijing University of Posts and Telecommunications, Beijing, China
2. Beijing University of Posts and Telecommunications & Beijing Key Lab. of Intelligent Telecomm. Software and Multimedia, Beijing, China
3. Monash University, Melbourne, Australia
4. Peking University & Key Laboratory of High-Confidence Software Technologies (Ministry of Education), Beijing, China