The play-in/play-out approach is a method for specifying and developing complex reactive systems. It is built upon a scenario-based
philosophy, and uses the language of live sequence charts (LSCs) and a support tool called the Play-Engine. We present some
conclusions from the initial experience we have had using the approach on several projects, and discuss methodological aspects
rising from this experience. The projects are from aviation, telecommunication and system manufacturing domains.
This research was supported in part by the John von Neumann Minerva Center for the Verification of Reactive Systems, by the
European Commission projects OMEGA (IST-2001-33522) and AMETIST (IST-2001-35304) and by the Israel Science Foundation (grant No. 287/02-1).