[Main website]

tech/mbeddr-mps-coding-tool

http://mbeddr.com/

A rich coding environment for specifying embembed systems.