Design Automation of Cyber-Physical Systems - Al Faruque, Mohammad Abdullah; Al Faruque, Mohammad Abdullah; Canedo, Arquimedes; Canedo, Arquimedes (Springer International Publishing : Imprint: Springer, 2019)