Animas-0.2: Updated version of Yampa: a library for programming hybrid systems.