Verification of Multi-Agent Properties in Electronic Voting: A Case Study Preprint in arXiv (October 2023)