Разработка точных и приближенных алгоритмов составления расписаний и синтеза систем жесткого реального временидиссертация