Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von AutomatisierungssystemenThomas LichtUitverkocht4,3Hou mij op de hoogte