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