David Trachtenherz entwickelt einen Losungsansatz zur eigenschaftsorientierten Beschreibung der logischen Architektur eingebetteter Systeme, der eine prazise deklarative Spezifikation funktionaler Eigenschaften mit wahlbarem Grad der Abstraktion fur unterschiedliche Entwicklungsphasen und -ebenen ermoglicht.