@INPROCEEDINGS{GibsonMermetMery97,
  author = {Gibson , {J. Paul} and Mermet, Bruno and M{\'e}ry, Dominique },
  title = {Feature Interactions: A Mixed Semantic Model Approach},
  booktitle = {1st Irish Workshop on Formal Methods {(IWFM 1997)}},
  year = {1997},
  editor = {Henry McGloughlin and Gerard O'Regan},
  series = {Electronic Workshops in Computing},
  publisher = {BCS},
  month = jul,
    bibsource = {DBLP, http://dblp.uni-trier.de},
address = {Dublin, Ireland}
}