N. Yu and M. Wirsing "Modelling and Testing Services with Continuous Time SRML", Advances in Science, Technology and Engineering Systems Journal, vol. 6, no. 6, pp. 60–65, 2021, doi: 10.25046/aj060609.