add PDFs for Milestone 2 submission - Formal Specifications