TY - RPRT TI - Dynamic Gate Product and Artifact Generation from System Models AU - Jackson, Maddalena PY - 2011 UR - https://ntrs.nasa.gov/citations/20120007512 ID - 20120007512 ER -