Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems. - Paul Pop; Kåre Harbo Poulsen; Viacheslav Izosimov; Petru Eles (CODES+ISSS, 2007)

A constraint logic programming framework for the synthesis of fault-tolerant schedules for distributed embedded systems. - Kåre Harbo Poulsen; Paul Pop; Viacheslav Izosimov (ETFA, 2007)