Anfonwch hwn fel neges destun: Evaluating the Lightweight Currency System using the Probabilistic Model Checking PRISM /