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