{
  "short_name": "FederatedState",
  "name": "Federated State Machine"
}