SWEREF-646

Link Leave blank if none exists	Unknown macro: {div} https://trs.jpl.nasa.gov/bitstream/handle/2014/44368/13-4262_A1b.pdf
Title This is the text which will be hyperlinked, if a link exists	Formal Validation of Fault Management Design Solutions
SWE or Topic	Topic 8.11,
Citation This contains additional information, which will appear after the title, separated by a comma	Gibson, C., Karban, R., Andolfato, L., and Day, J., 2014 ACM SIGSOFT Software Engineering Notes, 39(1), 1-5, 2014,
Notes More specific directions where to look in the resource for relevant content

Example Reference as it will appear to end user:

where: