@article {12778,
	title = {Probabilistic resource failure in real-time process algebra},
	journal = {CONCUR{\textquoteright}98 Concurrency Theory},
	year = {1998},
	month = {1998///},
	pages = {465 - 472},
	author = {Philippou,A. and Cleaveland, Rance and Lee,I. and Smolka,S. and Sokolsky,O.}
}
