@article{DBLP:journals/entcs/FantechiS03,
author = {Alessandro Fantechi and
Emilio Spinicci},
title = {Modelling and Validating a multiple-configuration railway
signalling system using SDL},
journal = {Electr. Notes Theor. Comput. Sci.},
volume = {82},
number = {6},
year = {2003},
pages = {66-76},
ee = {http://dx.doi.org/10.1016/S1571-0661(04)81026-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}