@Inproceedings{babylon,
  Author         = "Pierluigi Ammirati and Giorgio Delzanno and Pierre
                   Ganty and Gilles Geeraerts and Jean-Fran\c cois Raskin
                   and Van Begin, Laurent",
  Title          = "{\sc Babylon}: An Integrated Tool for the
                   Specification and Verification of Parametrized Systems",
  BookTitle     = "Proceedings of {S}{A}{V}{E}, 2nd workshop on {S}pecification, 
  		    {A}nalysis and {V}alidation for {E}merging technologies, Copenhagen, Denmark",
  year           = 2002
}