From scenario modeling to scenario programming for reactive systems with dynamic topology. - Joel Greenyer; Daniel Gritzner; Florian König; Jannik Dahlke; Jianwei Shi 001; Eric Wete (ESEC/SIGSOFT FSE, 2017)