@inproceedings{Kupferman_2007,
    doi = {10.1109/famcad.2007.41},
    url = {https://doi.org/10.1109%2Ffamcad.2007.41},
    year = {2007},
    month = {nov},
    publisher = {{IEEE}},
    author = {Orna Kupferman and Yoad Lustig},
    title = {What Triggers a Behavior?},
    booktitle = {Formal Methods in Computer Aided Design ({FMCAD}{\textquotesingle}07)}
}

@inproceedings{Kupferman_2007, doi = {10.1109/famcad.2007.41}, url = {https://doi.org/10.1109%2Ffamcad.2007.41}, year = {2007}, month = {nov}, publisher = {{IEEE}}, author = {Orna Kupferman and Yoad Lustig}, title = {What Triggers a Behavior?}, booktitle = {Formal Methods in Computer Aided Design ({FMCAD}{\textquotesingle}07)} }