Text this: Формальная модель автоматизированной системы профилактических осмотров населения