Dominikus Herzberg Manfred Broy Modeling layered distributed communication systems. 1-18 2005 17 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-004-0051-8 db/journals/fac/fac17.html#HerzbergB05