Toward improved traceability of non-functional requirements | Synapse