Pošljite SMS: Автоматизированное проектирование распределённых систем реального времени: учебное пособие