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