“…В следующих разделах статьи представлены использованные и разработанные для решения данной задачи математические модели, языки и средства моделирования и верификации. Для разработки формальных моделей требований и проектных решений были использованы языки визуального моделирования и проектирования SysML [5,6], FUML [7], OCL [8], ALF [9]. Формальная верификация этих моделей осуществлялась с помощью следующих средств: CPN Tools [10], Rodin [11], SPIN [12].…”