Modellgeometrie am Verifikationsbeispiel