https://123dok.net/document/zpn7kwlo-using-runtime-monitoring-to-enhance-offline-analysis.html