Title: Decision Diagrams for the Efficient Representation of Automotive Configurations available: here