https://9dok.net/document/y96ml15d-control-of-distributed-systems-tutorial-and-overview.html