Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme door David Trachtenherz