publication venue for Fault-tolerant control synthesis and verification of distributed embedded systems 2014 Multi-variant-based design space exploration for automotive embedded systems 2014 dSVM: Energy-efficient distributed Scratchpad Video Memory Architecture for the next-generation High Efficiency Video Coding 2014