Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy (lecture Notes In Computer Science) Sproston (2017) Analysis of timed properties using the jump-diffusion approximation, In: Computer performance engineering, pp. 69-84, ISBN: 9783319665825
