Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants. - Hamied Nabizada; Lasse Beers; Alain Chahine; Felix Gehlhoff; Oliver Niggemann; Alexander Fay (CoRR, 2025)