Functional structures in networks : AMLn-a language for model driven development of Telecom Systems - Muth, Thomas G. (Springer, 2005)