https://123dok.net/document/zkww08ez-pirat-an-analytical-tool-for-reliability-assessment-of-reactivity-control-systems-progress-and-applications-to-sodium-fast-reactors.html