इसका टेक्स्ट मैसेज भेजे : Time and probability in formal design of distributed systems /