Без заголовка

Ну да. Похоже, моделирование и связанное с ним свободное владение формальными методами -- это входной ценз в системную инженерию..