A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols. - Saira Zahid; Muhammad Shahzad; Syed Usman Ali; Muddassar Farooq (IEEE Congress on Evolutionary Computation, 2007)