@INPROCEEDINGS{HKMP02,
        AUTHOR             = {D. Harel and H. Kugler and R. Marelly and A. Pnueli},
        BOOKTITLE          = {{Proc.\ {$4^{th}$} Intl.\ Conference on Formal Methods in 
                               Computer-Aided Design (FMCAD'02), Portland, Oregon}},
        NOTE               = {{To appear. Also available as Tech. Report MCS02-08, The Weizmann Institute of Science}},
        TITLE              = {{Smart Play-Out of Behavioral Requirements}},
        YEAR               = {2002}
}