gamma
gamma copied to clipboard
Environment model for asynchronous systems
The environment template in the DU transformation is not correct if there is a single system port bound to multiple instance ports, and the events can have parameters of type enumeration with multiple literals.