Title: Analyse von Rechensystemen