D. Gajski, R. Dömer, J. Zhu: “IP-centric Methodology and Specification Language”, Chapter in “Distributed and Parallel Embedded Systems” (ed. F. Rammig), Kluwer Academic Publishers, Boston, September 1999. (ISBN 0-7923-8614-0)