@ARTICLE{GibsonLalletRaffy11II,
  author = {Gibson, {J. Paul} and Eric Lallet and Jean-Luc Raffy},
  title = {Formal Object Oriented Development of a Voting System Test Oracle},
  journal = {Innovations in Systems and Software Engineering {(Special issue UML-FM11)} },
  publisher ={ISSE NASA},
  editor = {Perseil, Isabelle and  Gibson, {J. Paul}},
  volume = 7,
  number = 4,
  month = september,
  year = {2011},
  issn = {1614-5054},
  doi = {10.1007/s11334-011-0167-y},
  pages = {237--245}
}