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