https://123dok.net/document/oz10j8pq-enabling-model-checking-for-collaborative-process-analysis-from-bpmn-to-network-of-timed-automata.html