@article{Bulavskij2015formalisation,
author={Bulavskij, P.. and Markov, D.. and Sokolov, V.. and Konstantinova, T..},
title={Formalisation of algorythmic description of systemsof railway automation and remote control life cycle provision},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2015},
pages={418-432},
volume={1},
issue={4},
}