Nosrati, Mohammad, and Hassan Haghighi. “A Probabilistic Extension of UML-B”. Computing and Informatics, vol. 38, no. 1, Apr. 2019, pp. 85–114, doi:10.31577/cai_2019_1_85.