%0 Journal Article
%T A formal refinement-based analysis of the hybrid ERTMS/ETCS level 3 standard
%A Mammar, Amel
%A Frappier, Marc
%A Tueno Fotso, Steve Jeffrey
%A Laleau, Régine
%J International Journal on Software Tools for Technology Transfer
%V 22
%N 3
%P 333-347
%@ 1433-2779
%D 2020-06-26
%I Springer Berlin Heidelberg
%~ DeepDyve