https://123dok.net/document/qmjwxe7q-handling-variability-at-the-code-level-modeling-tracing-and-checking-consistency.html