Automation of scheduling for periodic real-time systems - A.V. Tretyakov (Proceedings of the Institute for System Programming of RAS, 2012)