A formal design of the hybrid European rail traffic management system
Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini · 2019
Railway Transportation Management Systems are an emerging field in the context of advanced distributed software systems. Methods and techniques supporting rigorous formal design of system architecture where software components interact with each other and control physical components are highly demanded to assure reliability of the system operation.