@INPROCEEDINGS{Devauchelle&97b,
  KEY           = "Devauchelle\&97",
  AUTHOR        = {Lionel Devauchelle and Peter Gorm Larsen and Henrik Voss},
  TITLE         = "{PICGAL: Practical Use of Formal Specification to Develop a 
                  Complex Critical System}",
  BOOKTITLE     = {FME'97: Industrial Applications and Strengthened
  Foundations of Formal Methods},
  EDITOR        = {John Fitzgerald and Cliff B. Jones and Peter Lucas},
  VOLUME        = {1313},
  SERIES        = {Lecture Notes in Computer Science},
  PUBLISHER     = {Springer-Verlag},
  YEAR          = {1997},
  MONTH         = {September},
  NOTE          = {ISBN 3-540-63533-5},
  PAGES         = {221-236},
  COMMENT       = "I have the softcopy PGL"}