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