Mohammad Abdullah Al Faruque, Arquimedes Canedo Design Automation of Cyber-Physical Systems - 1st ed. 2019 - Springer International Publishing 2019 ISBN: 978-3-030-13050-3