Automatisierte Verifikation interaktiver regelbasierter Konfigurationssysteme (Zusatzmaterial)