ISBN-13: 9783834810298 / Niemiecki / Miękka / 2010
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.