XPRIT: an XML-based tool to translate UML diagrams into execution graphs and queueing networks | IEEE Conference Publication | IEEE Xplore