@article{БУЛАВСКИЙ2015формализация,
author={БУЛАВСКИЙ, П.. and МАРКОВ, Д.. and СОКОЛОВ, В.. and КОНСТАНТИНОВА, Т..},
title={ФОРМАЛИЗАЦИЯ АЛГОРИТМИЧЕСКОГО ОПИСАНИЯ СИСТЕМ ОБЕСПЕЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА ЖЕЛЕЗНОДОРОЖНОЙ АВТОМАТИКИ И ТЕЛЕМЕХАНИКИ},
journal={Автоматика на транспорте},
publisher={ФГБОУ ВО "Петербургский государственный университет путей сообщения Императора Александра I"},
year={2015},
pages={418-432},
volume={1},
issue={4},
}