@article{Sivko2015axiomatic-based,
author={Sivko, B..},
title={Axiomatic-based approach for development of trustworthy and fault-tolerant systems},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2015},
pages={381-399},
volume={1},
issue={4},
}