Text this: Security analysis in heterogeneous fault-tolerant control plane