Program support and task planning in real-time systems - S. V. Zinchenko; V. P. Zinchenko; F. N. Gorin (Kompiuternaia matematyka, 2017)