Semantic Clone Detection for Model-Based Development of Embedded Systems. - Bakr Al-Batran; Bernhard Schätz; Benjamin Hummel (MoDELS, 2011)