@InProceedings{10.1007/978-3-032-10762-6_22,
author="Almeida, Ricardo
and Das, Susmoy
and Archibald, Blair
and Calder, Muffy
and Sevegnani, Michele",
editor="ter Beek, Maurice H.
and Collart-Dutilleul, Simon
and Lecomte, Thierry",
title="Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation",
booktitle="Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification",
year="2026",
publisher="Springer Nature Switzerland",
address="Cham",
pages="286--302",
abstract="Upgrading rail network infrastructure involves complex system design decisions that can be informed by suitably abstract models. Ideally, the modelling techniques support formal analysis e.g. of safety, security, resilience, and performance, the models are extensible, and they are accessible to both railway engineers and policy makers.",
isbn="978-3-032-10762-6"
}