Search Projects: NSF CPS Project, Validation and Verification, 1239055