Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks