Title: Eigenschaftsorientierte Beschreibung Der Logischen Architektur Eingebetteter Systeme