I would go with the Micro Studio. Good color matching and you can add a cheap HDMI monitor for preview if you have an operator for the cameras. You will need an SDI distribution amp, unless you have a video hub, to supply return feed to all the cameras.
Pocket Cinema Camera is not ideal for live connection to the ATEM.
I built a small Windows application that allows you to do the CCU operation from a Behringer Midi device. Just need to fix a small bug with the Tint value that messup up URSA Broadcast cameras.