Proving consistency assertions for automotive product data management
scientific article; zbMATH DE number 1664322