@article{Belishkina2023logical,
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={Logical Time Formalization of Simulation Models for Railway Automation and Remote Control Systems},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2023},
pages={368-376},
volume={9},
issue={4},
}