О. А. Ладигіна and М. М. Гузій, “OPTIMIZATION OF METHODS OF VERIFICATION FOR UNSTEADY TRAFFIC MODELS”, SBT, vol. 41, no. 1, pp. 16–22, Apr. 2019.