Personally I wouldn’t use the TVS or the Blackmagic Cinema Camera. The lack of AUX outputs, DVE and analog audio input on the TVS makes it less than ideal. The ATEM Production 4K is the “replacement” for the TVS and fixed the AUX and analog audio limitations, though still no DVE (ie. Picture in Picture). If you need picture in picture then go a step up to the Production 1M/E 4k (don’t bother with the orignal ATEM 1M/E, you’ll avoid a lot of overheating and adapter hassles)
As for the cameras the Cinema camera is not meant for live studio’s either. It’s designed for shooting hollywood style movies, and requires jumping through hoops to even get it compatible with any of the ATEM switchers. In my opinion there are 2 options, if you are mostly using fixed shots, get cheap HDMI cameras and use HDMI->SDI converters to bring them into the ATEM, and if you are using manned shots get a camera with native SDI output like the Canon XA25, the Sony HXR-NX5U, or Panasonic HPX250