The wiring would be similar to using a high-power LED or multi-watt incandescent light bulb.
Transistors, mosfets, uln2003 driver chips, etc... (in fact, a constant current HP LED driver might be an good choice - you need something to limit the current when the supply voltage/flexinol wire length don't match up exactly with the ~400mA number. Just like an LED)