Validation Coverage for a Component-based SDL model of a Railway Signaling System.

Michele Banci Marcello Becucci Alessandro Fantechi Emilio Spinicci Validation Coverage for a Component-based SDL model of a Railway Signaling System. 99-111 2005 116 Electr. Notes Theor. Comput. Sci. http://dx.doi.org/10.1016/j.entcs.2004.02.083 db/journals/entcs/entcs116.html#BanciBFS05