@inproceedings{BCIJ:sefm13,
	Author = {Amel Bennaceur and Chris Chilton and Malte Isberner and Bengt Jonsson},
	Booktitle = {Software Engineering and Formal Methods, Proc. 11th International Conference (SEFM'13)},
	Editor = {Robert M. Hierons and Mercedes G. Merayo and Mario Bravetti},
	Pages = {274--288},
	Publisher = {Springer},
	Series = {Lecture Notes in Computer Science},
	Title = {Automated {M}ediator {S}ynthesis: {C}ombining {B}ehavioural and {O}ntological {R}easoning},
	Volume = {8137},
	Year = {2013}
}