Итоги голосования для комментария:

Dmitry Gerasimov

Звучит разумно. А что такое в данном контексте «формализованных»?