https://123dok.net/document/6zk8w14z-multi-code-generation-polychronous-programs-time-predictable-properties.html