https://123dok.net/document/y6e9l194-formal-models-for-safety-analysis-data-center-system.html