@article{Efanov2025self-checking,
author={Efanov, D.V.},
title={Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions},
journal={Transport automation research},
publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"},
year={2025},
pages={264-279},
volume={11},
issue={3},
}