A decomposition-based reliability and makespan optimization technique for hardware task graphs | Publicación