Шверин В. С. Мастерство проверки моделей: Погружение в цифровую верификацию с LARIX.MANAGER "Айбим"