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