@article{Bochkov2016design,
author={Bochkov, K.. and Kharlap, S.. and Sivko, B..},
title={Design of axiomatic based fault-tolerant systems},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2016},
pages={47-64},
volume={2},
issue={1},
}