PlayGo: towards a comprehensive tool for scenario based programming. - David Harel; Shahar Maoz; Smadar Szekely; Daniel Barkan (ASE, 2010)