Read Модели Для Спецификации И Анализа Процессов В Асинхронных Схемах 1988