Probabilities and quantative measures represent a key feature in modern software development which is being applied in diverse domains such as robotic and satellite missions or Self-Adaptive Systems. In this work we present ...