Properties of Behavioural Model Merging.

Greg Brunet Marsha Chechik Sebastián Uchitel Properties of Behavioural Model Merging. 98-114 2006 conf/fm/2006 FM http://dx.doi.org/10.1007/11813040_8 db/conf/fm/fm2006.html#BrunetCU06