发送短信: Типизация и автоматизация программирования гибких производственных систем