BackgroundJobServerOptions property documentation

Apologies if I missed a document somewhere, but is there any detailed documentation around BackgroundJobServerOptions properties? I am specifically looking for the following properties. What do they do / control, best practices regarding values, does one property rely on another? Examples of real world usages

  • ServerTimeout
  • ServerCheckInterval
  • HeartbeatInterval
  • StopTimeout