https://123dok.net/document/4zpr8grq-blending-timed-formal-models-with-clock-transition-systems.html