@inproceedings{CCJK12,
	author = {Chen, Taolue and Chilton, Chris and Jonsson, Bengt and Kwiatkowska, Marta},
	title = {A {C}ompositional {S}pecification {T}heory for {C}omponent {B}ehaviours},
	booktitle = {Programming Languages and Systems, Proc. 21st European Symposium on Programming (ESOP'12)},
	editor = {Seidl, Helmut},
	series = {Lecture Notes in Computer Science},
	volume = {7211},
	pages = {148--168},
	publisher = {Springer-Verlag},
	year = {2012},
}