HAL

Hybrid Automata Library

Free and Open Source


Download
Getting Started
JavaDoc