SWEREF-653

Link Leave blank if none exists	Unknown macro: {div} https://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/20050136631.pdf
Title This is the text which will be hyperlinked, if a link exists	Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation
SWE or Topic	Topic 8.11,
Citation This contains additional information, which will appear after the title, separated by a comma	Hinchey, M.G., Rash, J., and Rouff, C.A., 2005. NASA-TM-2005-212774.
Notes More specific directions where to look in the resource for relevant content

Example Reference as it will appear to end user:

where: