Deriving product configurations with pure::variants

From a 150% system model to a valid product configuration in minutes, feature models, constraints and automatic derivation in practice.