How to write a Model Scheduling Specification Incorporating the GAO’s “Best Practices in Scheduling” Appendices