Lindemann, Thümmler, Klemm, Lohmann, Waldhorst, 2002. Performance analysis of time-enhanced UML diagrams based on stochastic processes, in: . ACM Press.. https://doi.org/10.1145/584369.584375