Testing Finitary Probabilistic Processes - Semantics of Probabilistic Processes: An Operational Approach - page 229

12. Jonsson, B., Ho-Stuart, C., Yi, W.: Testing and refinement for nondeterministic and probabilistic
processes. Proceedings of the 3rd International Symposium on Formal Techniques in Real-
Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, vol. 863, pp. 418-430.
Springer (1994)
13. Deng, Y., van Glabbeek, R., Hennessy, M., Morgan, C.: Real-reward testing for probabilistic
processes. Theor. Comput. Sci. 538 , 16-36 (2014)
14. Georgievska, S., Andova, S.: Probabilistic may/must testing: Retaining probabilities by
restricted schedulers. Form. Asp. Comput. 24 , 727-748 (2012)
15. Georgievska, S., Andova, S.: Composing systems while preserving probabilities. Proceedings
of the 7th European Performance Engineering Workshop, Lecture Notes in Computer Science,
vol. 6342, pp. 268-283. Springer (2010)