A comprehensive formal framework for analyzing the behavior of nature-inspired routing protocols