@INPROCEEDINGS{Fitzgerald&07e,
  KEY           = "Fitzgerald\&07",
  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen",
  EDITOR        = "Cliff B. Jones and Zhiming Liu and Jim Woodcock",
  TITLE         = "{Balancing Insight and Effort: the Industrial Uptake of
                    Formal Methods}",
  BOOKTITLE     = "Formal Methods and Hybrid Real-Time Systems, Essays in 
                   Honour of Dines Bj{\o}rner and Chaochen Zhou on the Occasion 
                   of Their 70th Birthdays",
  ORGANIZATION  = "Springer",
  PUBLISHER     = "Lecture Notes in Computer Science",
  ADDRESS       = "Volume 4700",
  YEAR          = "2007",
  MONTH         = "September",
  PAGES         = "237-254",
  NOTE          = "ISBN 978-3-540-75220-2",
  ANNOTE        = "",
  COMMENT       = "I have the sources (PGL)"}