Ein Leitfaden, der formale Ansätze für verteilte Objekte und Komponenten systematisch darstellt, von Modellierung über Logik bis hin zur Verifikation, und dabei konkrete Beispiele aus modernen Architekturen nutzt.