David Harel Rami Marelly Specifying and executing behavioral requirements: the play-in/play-out approach. 82-107 2003 2 Software and System Modeling 2 http://dx.doi.org/10.1007/s10270-002-0015-5 db/journals/sosym/sosym2.html#HarelM03