1. Sharif University of Technology Computer Engineering Department & IPM School of Computer Science, Tehran, Iran
2. Department of Computing Science, University of Glasgow, Glasgow, G12 8QQ, U.K.
3. School of Computing, Queen's University, Kingston, Ontario, Canada