A domain-specific language for specifying distributed real-time software system configurations