Modeling telecom networks and systems architecture : CONCEPTUAL TOOLS AND FORMAL METHODS - Muth, Thomas (Springer-Verlag, 2001)