David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli. Smart play-out. In Ron Crocker, Guy L. Steele Jr., editors, Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA. pages 68-69, ACM, 2003. [doi]
Abstract is missing.