Ein Verfahren zur zeitlichen Analyse von UML-Modellen beim Entwurf von AutomatisierungssystemenThomas LichtÉpuisé4,3Prévenez-moi