@article{Belishkina2024formalization,
author={Belishkina, T.A. and Konstantinova, T.Y. and Lykov, A.A. and Markov, D.S. and Mikado, E.N. and Sokolov, V.B.},
title={Formalization of transition from IDEF0-diagram to the GPSS-model of life cycle stages of railway automation and remote control systems},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2024},
pages={155-165},
volume={10},
issue={2},
}