HAL

Hybrid Automata Library

Free and Open Source

Download
Getting Started
JavaDoc
Help