Frank-Michael Renner: Modellierung und Synthese von Kommunikationsstrukturen für eingebettete Echtzeitsysteme. Shaker Darmstadt University of Technology, Germany 2001, ISBN 978-3-8265-8519-7, 1-214