Saira Zahid, Muhammad Shahzad, Syed Usman Ali, Muddassar Farooq. A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2007, 25-28 September 2007, Singapore. pages 180-187, IEEE, 2007. [doi]