Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants