@inproceedings{KL07c,
         author      =   "O. Kupferman and Y. Lustig",
         title      =    "What triggers a behavior?"
         booktitle  =    fmcad07,
         year        =   "2007",
         pages       =   "146 -- 153"
}