
Stage 1
The first stage is to model the domain and Things or Devices under investigation. This example is the interaction between Vehicles and City street infrastructure such as Traffic Lights, Pedestrian Crossings, Lamp Posts and the City Traffic Management system.

