Graf Research has been awarded a Phase 1 SBIR entitled, "CP-SMARTS"  We will create a model of cyber physical security called CP-SMARTS: Cyber Physical Security for Mission-Aware ARmy Tactical Systems. CP-SMARTS will model not only the services required of Cyber Physical Systems (such as computation, communications, control, etc.) but also Mission Assurance requirements (definitions of Mission Essential Function and corresponding vulnerabilities and mitigations) and Information Assurance services (such as Confidentiality, Integrity, Availability, Authentication, etc.). A core element of our teams CPS philosophy one that will permeate our approach in modeling, model checking, and implementation is that we always keep deployment in mind. This means creating models and model checking methods that integrate well into the development environment of the user who will deploy the CPS. In so doing, we create technologies that not only work on the whiteboard and in simulation but also can be readily adopted by commercial and military CPS designers.