https://123dok.net/document/y6epldn4-tracing-execution-programs-trace-model-experimental-validation-environment.html