The latest Intelligent Routing Platform v4.2.7 has just been released. This update...
MULTIHOMING WITH BGP AND NAT
Eliminating ISP as a single point of failure
Detailed guidance on connecting your network to multiple transit providers.
Moreover, the document describes the implemented mechanism where source addresses of the internal users are translated to a different NAT address pool based on the selected path to the ISP.