@INPROCEEDINGS{GibsonMery97,
  author = {Gibson, {J. Paul} and M{\'e}ry, Dominique},
  title = {{Telephone feature verification: Translating SDL to TLA+}},
  booktitle = {{SDL '97 Time for Testing, SDL, MSC and Trends --- 8th International
	SDL Forum}},
  year = {1997},
  editor = {Ana R. Cavalli and Amardeo Sarma},
  pages = {103-118},
  address = {Evry, France},
  month = sep,
  publisher = {Elsevier},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  isbn = {0444828168}
}