спецификация и верификация параллельных систем реального времени