發送短信: The timed failures - stability model for CSP