Thomas Licht: Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von Automatisierungssystemen. Technische Universität Ilmenau, Germany 2004, ISBN 3-932633-91-1, 1-148