A formal performance modeling framework for bio-inspired ad hoc routing protocols