== Newcastle university technical report? == 

 * An accessible account of Prêt à Voter can be found in "The Computer Ate my Vote", chapter to appear in Formal Methods: State of the Art and New Directions, Ed. Paul Boca, Springer 2007, also available as Newcastle University Technical Report 988 . 

 The given link does not work anymore, and  does not list any document with such a title either. Any ideas? The book appeared and if you have a SpringerLink account, you can even read it online.  The mentioned chapter is authored by Peter Ryan himself.