@article {12788,
	title = {A process-algebraic language for probabilistic I/O automata},
	journal = {CONCUR 2003-Concurrency Theory},
	year = {2003},
	month = {2003///},
	pages = {193 - 207},
	author = {Stark,E. W and Cleaveland, Rance and Smolka,S. A}
}
