https://9papers.space/40417/can-you-explain-how-model-checking-is-used-in-railway-systems/