Relation-algebraic and Tool-supported Control of Condorcet Voting | Read Paper on Bytez