Dan Barak David Harel Rami Marelly InterPlay: Horizontal Scale-Up and Transition to Design in Scenario-Based Programming. 467-485 2006 32 IEEE Trans. Software Eng. 7 http://doi.ieeecomputersociety.org/10.1109/TSE.2006.67 db/journals/tse/tse32.html#BarakHM06