Dieses Buch zeigt Ansätze zur Modellierung präziser Klassenmodelle. Die Präzisision ist notwendig zur Generierung von ausführbarem Quellcode, sodass sich die UML Modelle anschließend mit möglichst wenig weiterem Aufwand an verschiedene Plattformen binden lassen (z.B. Programmiersprachen). Der Autor untermauert seine Modelle durch zahlreiche Beispiele aus seiner Anwendungsdomäne der eingebetteten Systeme.