The cameras do work with the TriCaster Mini products, but the TriCaster SDI Mini does not accept the solid framerates  cameras output in NTSC. 

This means that to use the cameras with a TriCaster SDI Mini, you would either need to have the TriCaster session using PAL framerate (1080p25 or 1080i50) with the cameras set to match, or you need to use a framerate converter such as the Decimator Design MD-HX to convert the 1080p30 signal into a 1080p29.97 signal supported TriCaster. The HDMI Mini as well as other TriCaster models have this issue . The 410 does not.