@INPROCEEDINGS{GibsonHamiltonMery99,
  author = {Gibson, {J. Paul} and Hamilton, Geoff and M\'{e}ry, Dominique},
  title = {Integration Problems in Telephone Feature Requirements},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
	on Integrated Formal Methods ({IFM 99})},
  year = {1999},
  editor = {Keijiro Araki and Andy Galloway and Kenji Taguchi},
  pages = {129--148},
  address = {York, UK},
  month = jun,
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {1-85233-107-0}
}