@misc{14556, author = {Kunming Nie and Tao Yue and Shaukat Ali and Li Zhang and Zhiqiang Fan}, title = {The Core of Supporting Automated Product Configuration of Cyber-Physical Systems}, year = {2012}, number = {2012-33}, publisher = {Simula Research Laboratory}, note = {This technical report is an early version of a published conference paper. The published paper can be found here:https://www.simula.no/publications/constraints-core-supporting-automated-product-configuration-cyber-physical-systems}, }