Context-sensitive synthesis of executable functional models of cyber-physical systems. - Arquimedes Canedo; Eric Schwarzenbach; Mohammad Abdullah Al Faruque (ICCPS, 2013)