@INPROCEEDINGS{cgUCL-CCKLLPS06,
 	AUTHOR={Canetti, Ran and Cheung, Ling and Kaynar, Dilsun and Liskov, Moses and Lynch, Nancy and Pereira, Olivier and Segala, Roberto},
	TITLE={{Task-Structured Probabilistic I/O Automata}},
	BOOKTITLE={Proceedings the 8th International Workshop on Discrete Event Systems (WODES'06)},
	PUBLISHER={IEEE},
	PAGES={207-214},
	MONTH={7},
	YEAR={2006},
}