Formal Specification and Verification of an e-voting System: An experience Report.