Loïc Hélouët Thibaut Hénin Christophe Chevrier Automating Scenario Merging. 64-81 2006 conf/sam/2006 SAM http://dx.doi.org/10.1007/11951148_5 db/conf/sam/sam2006.html#HelouetHC06