Văn bản này: The timed failures - stability model for CSP