Book Modeling Telecom Networks And Systems Architecture Conceptual Tools And Formal Methods