S2R-OC-IP2-01-2020 Modelling of the Moving Block system specification and future architecture (TD2.3) + RAIM algorithms, Assessment Report and support for Railway Minimum Operational Performance Standards (TD2.4)