David Harel Hillel Kugler Rami Marelly Amir Pnueli Smart play-out. 68-69 2003 conf/oopsla/2003 OOPSLA Companion http://doi.acm.org/10.1145/949344.949353 db/conf/oopsla/oopsla2003.html#HarelKMP03