@article{CJK14,
	author={Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta},
	title={Compositional assume-guarantee reasoning for input/output component theories},
	journal={Science of Computer Programming},
	pages={115--137},
	volume={91, Part A},
	year={2014},
	month={October},
	note={Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12)},
}