https://123dok.net/document/wq2ll76z-pscv-a-runtime-verification-tool-for-probabilistic-systemc-models.html