@inproceedings{soton:tenmethods,
  title = "Questions and Answers About Ten Formal Methods",
  author = "P. Hartel and M. Butler and A. Currie and P. Henderson and M. Leuschel and A. Martin and A. Smith and U. Ultes-Nitsche and
B. Walters",
  year = "1999",
  address = "Trento, Italy",
  booktitle = "Proc. 4th Int. Workshop on Formal Methods for Industrial Critical Systems",
  editor = "S. Gnesi and D. Latella",
  isbn = "88-7958-009-4",
  month = "July",
  organization = "ERCIM",
  pages = "179-203",
  publisher = "STAR/CNR, Pisa, Italy",
  volume = "II",
}