Domain-based production configuration with constraint satisfaction · Study