@inproceedings {1382,
	title = {Model-driven availability evaluation of railway control systems},
	booktitle = {30th International Conference on Computer Safety, Reliability and Security (Safecomp{\textquoteright}11)},
	year = {2011},
	address = {Napoli (Italy)},
	author = {S. Bernardi and F. Francesco and S. Marrone and Jos{\'e} Merseguer and C. Papa and V. Vittorini}
}

