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