https://123dok.net/document/z1d3vl8e-plasma-lab-statistical-model-checker-architecture-usage-extension.html