Nosrati, M. and Haghighi, H. (2019) “A Probabilistic Extension of UML-B”, Computing and Informatics, 38(1), pp. 85–114. doi: 10.31577/cai_2019_1_85.