@techreport{1997-Devillers-ProtocolElection,
  author		= "{Devillers}, M.C.A. and {Griffioen}, W.O.D. and {Romijn}, J.M.T. and {Vaandrager}, F.W.",
  title			= "{Verification of a Leader Election Protocol}",
  number		= "CSI--R9728",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "1997",
  code			= "icis.CSI-R9728",
  research_group	= "ita",
  class			= "Report"
}