TIME4CPS : Ein Software-Framework zur Analyse des zeitlichen Verhaltens von Produktions- und Logistikprozessen