The only Z-Wave compatible thermostat in the supported device list seems to be obsoleted.
Those that you listed are not Z-Wave compatible, unfortunately... they are marketed as being controllable by their Z-Wave home automation system, but what really happens is that they thermostats connect via WiFi to their home automation service (Nexia). Z-Wave "control" is done by talking to their Nexia Bridge via Z-Wave and then the thermostats via the WiFi / web connection.
I haven't given it my "best shot", but an initial look showed the protocol to be VERY complex and thus not easily reverse-engineered. I would love to delve into this more later once I do some network changes to make reverse engineering a bit easier and eventually write an Indigo plugin; but at this point I don't even know if it is possible.
One thing to note, when I searched other home automation systems about a year or so ago for support for similar thermostats in that line (XL-950 to be specific), nobody had been able to create a plugin/control with them.
Adam