State machine framework for reactive embedded systems
MGSyn - Automatic Synthesis for Industrial Automation
serial logging tool with time stamps and hotkey and automation support
Cross platform configuration tool for Ciseco XRF radio devices
JBernstein: Exploration techniques for non-linear constraint checking
Fronius data tool for Linux