M. Nosrati and H. Haghighi, “A Probabilistic Extension of UML-B”, Comput. Inform., vol. 38, no. 1, pp. 85–114, Apr. 2019.