Specifying and executing behavioral requirements: The Play-In Play-Out Approach