CSP code for verification of vVote e-voting system - Moran, Murat (Mendeley, 2017)