Carlos Canal Pascal Poizat Gwen Salaün Model-Based Adaptation of Behavioral Mismatching Components. 546-563 2008 34 IEEE Trans. Software Eng. 4 http://dx.doi.org/10.1109/TSE.2008.31 db/journals/tse/tse34.html#CanalPS08