RealTime Server Cluster

A term for a collection of RealTime servers.