发送短信 : Time and probability in formal design of distributed systems /