Nosrati, M.; Haghighi, H. A Probabilistic Extension of UML-B. Comput. Inform. 2019, 38, 85–114.