Empirical Evaluation of a UML Sequence Diagram with Adornments to Support Understanding of Thread Interactions | IEEE Conference Publication | IEEE Xplore