Modelling SCM as a Multi-layer Interconnected Constraint Satisfaction Problem | IEEE Conference Publication | IEEE Xplore