@INPROCEEDINGS{pioa-lics98,
	AUTHOR = "E. W. Stark and S. Smolka",
	TITLE = "Compositional Analysis of Expected Delays in Networks of
			Probabilistic {I/O} Automata",
	BOOKTITLE = "Proc.~13th Annual Symposium on Logic in Computer Science",
	ADDRESS = "Indianapolis, IN",
	MONTH = JUN,
	YEAR = 1998,
	PAGES = "466-477",
	PUBLISHER = "IEEE Computer Society Press"
}