allaboutlean.com
The Kingman Formula – Variation, Utilization, and Lead Time | AllAboutLean.com
Theoretical approach for the relation between utilization, variability, and lead time (or queue length). The formula is not that useful for practice, but it is good background knowledge!