@article{CJK14b, 
	author={Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta}, 
	title={An algebraic theory of interface automata},
	journal={Theoretical Computer Science}, 
	pages={146--174}, 
	volume={549},
	year={2014}, 
	month={September},
	publisher={Elsevier}, 
}