Труд Мануэля Маццары был посвящён формализации бизнес-процессов при разработке программных систем.

Статья «LTL семантика бизнес-процессов с обработкой ошибок» была опубликована заместителем заведующего лабораторией программной инженерии и верификации программ Университета Иннополис Мануэлем Маццара в соавторстве с итальянскими учёными Лукой Ферруччи и Марсело Берсани и представлена на суд жюри венской конференции ICSOFT-PT, посвящённой тенденциям развития отрасли программного обеспечения. В своем исследовании они использовали математический аппарат темпоральной логики и программные средства проверки моделей (model checking) для построения методологии, позволяющей систематически моделировать и верифицировать корректность обработки ошибок при анализе бизнес-процессов. Данная научная работа показывает, что легковесные подходы не требуют кардинального изменения процесса разработки ПО и позволяют использовать привычный инструментарий.