Объектно-ориентированные технологии проектирования прикладных программных систем

Формальная модель топки, разработанная с помощью методологии OSA