Multi-valued Decision Diagrams for the Verification of Consistency in Automotive Product Data | IEEE Conference Publication | IEEE Xplore