Lindemann, et al.. Performance Analysis of Time-enhanced UML Diagrams Based on Stochastic Processes. ACM Press, 2002, doi:10.1145/584369.584375.