https://123dok.net/document/yd75lnlg-distributed-timed-automata-with-independently-evolving-clocks.html