Dynamic traceability links supported by a system architecture description | IEEE Conference Publication | IEEE Xplore