Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von Automatisierungssystemen von Thomas Licht | ISBN 9783932633911