A framework for simulation of networks of hybrid automata, similar to SHIFT and Lambda-...
47.146 Downloads
BSD