Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Automates the building of VANET simulations using SUMO and OMNeT++
Allows you to build your own circuits and test them
MGSyn - Automatic Synthesis for Industrial Automation
Spatial Interaction in Coral Reef Communities