Automatically Generating SystemC Code from HCSP Formal Models

In model-driven design of embedded systems, how to generate code from high-level control models seamlessly and correctly is challenging. This is because hybrid systems are involved with continuous ...