https://123dok.net/document/qvlp3n0y-ccsl-specifying-clock-constraints-with-uml-marte.html