Component, CA, and CCA models; superdense time, ETL DB, testing, etc.
Realtime PC-based control and simulator of control systems
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