Formalization of dynamic systems. 2 ed / Formalizatsiya dinamicheskikh sistem. 2-e izd