TITLE     : Formal methods for distributed control systems of future railways
AUTHOR(S) : Fantechi A, Gnesi S, Haxthausen Ae
TYPE      : Conference article
YEAR      : 2022
CODE      : 474956

*** DO NOT EDIT THIS FILE ***