A paper titled “Translation, Abstraction and Integration for Effective Smart System Design” has been accepted for publication in the IEEE Transactions on Computers.

This work organizes in a comprehensive e structured flow the research in the field of modeling and simulation of smart systems carried out in the past ten years by the Electronic Systems Design research group at the University of Verona. The paper integrates the results of many Ph.D. Theses, developed within the group, in a single methodological flow that is one of the main contributions of my Ph.D. Thesis.