Design Automation of Cyber-Physical Systems | lit.salon