S. Hauser and R. Haenni, “Implementing Broadcast Channels with Memory for Electronic Voting Systems”, JeDEM, vol. 8, no. 3, pp. 61–79, Dec. 2016.