https://123dok.net/document/z3dlw4l9-declarative-modeling-execution-framework-real-time-systems.html