Source: https://www.labri.fr/perso/zeitoun/research/pdf/BGMZ-ATVA12-Probabilistic_Kleene.pdf