Neue Verfahren zur maschinellen Analyse des Verhaltens von Protokollmaschinen anhand passiver BeobachtungMarek MusialVyprodánoPohlídat