Basis of the Formalization and the Algorithmisation of the Control Functions in ATC Systems. - Mariusz Maciejewski; Wieslaw Zablocki (TST, 2010)