Environment model for asynchronous systems

[grbeni]

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.