@article{Dmitriev2015synthesis, author={Dmitriev, V.V. and Kononov, K.S. and Persky, A.S.}, title={Synthesis of fl ip-fl ops on the basis of the theory of fi nite-state machines}, journal={Transport automation research}, publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"}, year={2015}, pages={73-83}, volume={1}, issue={1}, }