TY - RPRT TI - Improving Project Management Using Formal Models and Architectures AU - Kahn, Theodore AU - Sturken, Ian PY - 2011 UR - https://ntrs.nasa.gov/citations/20110012425 ID - 20110012425 ER -