https://123dok.net/document/dzxgpxny-applying-parametric-model-checking-techniques-for-reusing-real-time-critical-systems.html