TY - RPRT TI - Bringing Mathematical Capabilities to SysML Within MagicDraw AU - Srivastava, Akshaya PY - 2012 UR - https://ntrs.nasa.gov/citations/20150005672 ID - 20150005672 ER -