@ARTICLE{cgUCL-CCKLLPS18,
 	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}},
	PUBLISHER={Elsevier},
	JOURNAL={Journal of Computer and System Sciences},
	VOLUME={94},
	PAGES={63-97},
	MONTH={6},
	YEAR={2018},
}