@INPROCEEDINGS{Agerholm&97c,
  KEY           = "Agerholm\&97",
  AUTHOR        = "Sten Agerholm and Peter Gorm Larsen",
  EDITOR        = "Michael Holloway",
  TITLE         = "{Modeling and Validating SAFER in VDM-SL}",
  BOOKTITLE     = "Fourth NASA Langley Formal Methods Workshop",
  ORGANIZATION  = "NASA",
  YEAR          = "1997",
  MONTH         = "September",
  NOTE          = "Available from http://atb-www.larc.nasa.gov/Lfm97/proceedings/",
  ANNOTE        = "",
  COMMENT       = "In ~papers"}