Title: Formale Modelle zur einheitlichen Darstellung von Rechensystemen auf unterschiedlichen Detaillierungsebenen