Stav dette: Синхронизация и верификация в имитационном моделировании