Visualizing the synchronization of Java-threads with UML | IEEE Conference Publication | IEEE Xplore