Eigenschaftsorientierte Beschreibung der logischen Architektur eingebetteter Systeme GERMAN · PDF View details →