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