@INPROCEEDINGS{Bicarregui&09,
  KEY           = "Bicarregui\&09",
  AUTHOR        = "Juan Bicarregui and John Fitzgerald and Peter Gorm Larsen and
                   Jim Woodcock",
  TITLE         = "{Industrial Practice in Formal Methods}",
  BOOKTITLE     = "Formal Methods '09",
  ORGANIZATION  = "FME",
  PUBLISHER     = "Springer Verlag",
  ADDRESS       = "Berlin, New York",
  YEAR          = "2009",
  MONTH         = "November",
  PAGES         = "",
  NOTE          = "LNCS",
  ANNOTE        = "",
  COMMENT       = "BIB PGL"}