@INPROCEEDINGS{GibsonMery99I,
  author = {Gibson, {J. Paul} and M\'{e}ry, Dominique},
  title = {Formal Modelling of Services for Getting a Better Understanding of
	the Feature Interaction Problem},
  booktitle = {{PSI '99}: Proceedings of the Third International Andrei Ershov Memorial
	Conference on Perspectives of System Informatics},
  year = {1999},
  editor = {Dines Bj{\o}rner and Manfred Broy and Alexandre V. Zamulin},
  volume = {1755},
  series = {Lecture Notes in Computer Science},
  pages = {155-179},
  address = {Akademgorodok, Novosibirsk, Russia},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1007/3-540-46562-6_14},
  isbn = {3-540-67102-1}
}