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