Make the Most of Your Time: How Should the Analyst Work with Automated Traceability Tools? | IEEE Conference Publication | IEEE Xplore