Modeling telecom networks and systems architecture. Conceptual tools and formal methods - Muth, Thomas (Springer, 2001)