@ARTICLE{Sumiła_Marek_The_2010, author={Sumiła, Marek and Lewiński, Andrzej}, number={No 2}, journal={Archives of Transport}, howpublished={online}, year={2010}, publisher={Polish Academy of Sciences Committee of Transport Design}, title={The safety assurance method of railway control systems using object oriented languages}, URL={http://journals.pan.pl/Content/94881/mainfile.pdf}, }