@INPROCEEDINGS{Fitzgerald&07,
  KEY           = "Fitzgerald\&07",
  AUTHOR        = "J. S. Fitzgerald and P. G. Larsen",
  TITLE         = "{Triumphs and Challenges for the Industrial
                   Application of Model-Oriented Formal Methods}",
  EDITOR        = "T. Margaria and A. Philippou and B. Steffen",
  BOOKTITLE     = "Proc. 2nd Intl. Symp. on Leveraging Applications of
                   Formal Methods, Verification and Validation~(ISoLA 2007)",
  YEAR          = "2007",
  NOTE          = "Also Technical Report CS-TR-999, School of Computing
                   Science, Newcastle University"}