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)