1. Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes (LIMOS), ISIMA—Université Blaise Pascal Clermont‐Ferrand II, Campus des Cézeaux—B.P. 125, 63173 Aubière Cedex France
2. School of Computer Science, The Queen's University of Belfast BT7 1NN, Northern Ireland