Interactions Design and Evaluation of Extensions to UML Sequence Diagrams for Modeling Multithreaded