Neue Verfahren zur maschinellen Analyse des Verhaltens von Protokollmaschinen anhand passiver BeobachtungMarek MusialEsaurito4,3Avvisami