Ein tiefgreifendes Werk über die Zertifizierung regelbasierter Modelle durch Graphtransformationen, das neue Analyseansätze vorstellt, bestehende Methoden optimiert und einen praxisnahen Fahrplan für sichere Validierung komplexer Regelwerke liefert.