Title: Solving the AI Planning Plus Scheduling Problem Using Model Checking Via Automatic Translation from the Abstract Plan Preparation Language (APPL) to the Symbolic Analysis Laboratory (SAL)