SWM Standard Formal Engineering Package Submission Checklist