1. SERENE'14 Autumn SchoolENGINEERING RESILIENT CYBER PHYSICAL SYSTEMSSystem-Level Concurrent Error DetectionDr. Luigi PomanteUniversità degli Studi dell’’AquilaCenter…