https://123dok.net/document/zkw0dpv1-polychronous-mode-automata.html