Abstract: The increasing complexity of automated production systems, especially in industries like aircraft manufacturing, calls for a methodological framework to efficiently manage and validate ...