Component, CA, and CCA models; superdense time, DB repo, testing, etc.
Realtime PC-based control and simulator of control systems
Automates the building of VANET simulations using SUMO and OMNeT++
MGSyn - Automatic Synthesis for Industrial Automation
Software-Defined Cloud Orchestration
A low-power ISA design and simulator for a 2010 IEEE competition
Simulator of access controls