Adaptation of Mismatching Services Based on Labelled Interface Automata | IEEE Conference Publication | IEEE Xplore