HAL

Hybrid Automata Library

Free and Open Source

Download
Manual
JavaDoc
Help