Produktmodelleren : formele definiering van een te automatiseren generiek produktmodel toegepast op een specifiek constructie-principe