answering to myself:
here is the correct way in CAS 7.3.3:
cas.ticket.registry.redis.cluster.nodes[0].host=cas1.dnsname
cas.ticket.registry.redis.cluster.nodes[0].port=6379
cas.ticket.registry.redis.cluster.nodes[0].type=MASTER
cas.ticket.registry.redis.cluster.nodes[1].host= cas3.dnsname
cas.ticket.registry.redis.cluster.nodes[1].port=6379
cas.ticket.registry.redis.cluster.nodes[1].type=MASTER
cas.ticket.registry.redis.cluster.nodes[2].host= cas3.dnsname
cas.ticket.registry.redis.cluster.nodes[2].port=6379
cas.ticket.registry.redis.cluster.nodes[2].type=MASTER
and this but it seems optional (working the same without):
cas.ticket.registry.redis.cluster.nodes[3].host= cas1.dnsname
cas.ticket.registry.redis.cluster.nodes[3].port=6380
cas.ticket.registry.redis.cluster.nodes[3].type=REPLICA
cas.ticket.registry.redis.cluster.nodes[4].host= cas2.dnsname
cas.ticket.registry.redis.cluster.nodes[4].port=6380
cas.ticket.registry.redis.cluster.nodes[4].type=REPLICA
cas.ticket.registry.redis.cluster.nodes[5].host= cas3.dnsname
cas.ticket.registry.redis.cluster.nodes[5].port=6380
cas.ticket.registry.redis.cluster.nodes[5].type=REPLICA