@article{Speranskiy2024search, author={Speranskiy, D.V. and Lunev, S.A.}, title={Search for signaling races in fuzzy asynchronous automata}, journal={Transport automation research}, publisher={FSBEI HE "Emperor Alexander I St. Petersburg State Transport University"}, year={2024}, pages={178-189}, volume={10}, issue={2}, }