https://123dok.net/document/7q0dk1xz-dynamic-verification-of-systemc-with-statistical-model-checking.html