1. Asarin, E., Basset, N., Degorre, A.: Entropy of regular timed languages. In: Information and Computation, vol. 241, pp. 142–176. Elsevier (2015)
2. Angrish, R., Chakraborty, S.: Probabilistic timing analysis of asynchronous systems with moments of delay. In: ASYNC 2002. IEEE (2002)
3. Alur, R.: Formal analysis of hierarchical state machines. In: Verification: Theory and Practice, pp. 42–66 (2002)
4. Lecture Notes in Computer Science;M Backenköhler,2016
5. Bazille, H., Fabre, E., Genest, B.; Symbolically quantifying response time in stochastic models using moments and semirings. https://perso.crans.org/~genest/BFG18.pdf