Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. - José Antonio Mateo; Hermenegilda Macià; M. Carmen Ruiz; Juan José Pardo; A. M. Ortiz (ICCS, 2013)