Stephen Barrett Daniel Sinnig Patrice Chalin Greg Butler Merging of Use Case Models: Semantic Foundations. 182-189 2009 TASE http://dx.doi.org/10.1109/TASE.2009.34 conf/tase/2009 db/conf/tase/tase2009.html#BarrettSCB09