@INPROCEEDINGS{Larsen&08a,
  KEY           = "Larsen\&08a",
  AUTHOR        = "P.G. Larsen and J. S. Fitzgerald",
  EDITOR        = "P. Boca and J. P. Bowen",
  BOOKTITLE     = "{Proc. BCS-FACS Workshop on Formal Methods in Industry}",
  TITLE         = "{Recent Industrial Applications of Formal Methods in Japan}",
  PUBLISHER     = "British Computer Society",
  YEAR          = "2008"}