WirelessDeployment is available as:
This model internally uses instances of two actor-oriented classes, CarLightNormal and PedestrianLightNormal, that are defined in a separate file. Instances of these classes are also used in the TrafficLight model, which is a behavioral model rather than a deployment model. Since instances of the same classes are used in both places, changes in one model are automatically reflected in the other model. As an exercise, try changing the logic so that instead of the European system of showing red and yellow lights together before green, you use the American system of going directly to green.
See also the functional version of this model.