Верификация имитационных моделей в среде ДИАНА с применением средства SPINстатья