David Joyner, David Majerich, and Ashok Goel have had a paper accepted to the 2013 conference on Systems Engineering Research, to be held at Georgia Tech in March. The paper presents an overview of the tools developed and tested during last year’s summer camp.