Invia SMS: Системы реального времени. Моделирование и автоматизированное проектирование: учебное пособие