Integrating AI Planning Semantics into SysML System Models for Automated PDDL File Generation