From a Formalized Parallel Action Language to Its Efficient Code Generation

Modeling languages propose convenient abstractions and transformations to handle the complexity of todays embedded systems. Based on the formalism of the Hierarchical State Machine, they enable the...