Researchers from the Formal Methods and Tools (FMT) lab of CNR-ISTI work on the increase of capacity and digitisation of railway transport. The research is conducted in the context of the NextGenerationEU-funded project on "Railway Transportation" (Spoke 4), which is part of the National Centre for Sustainable Mobility (MOST).