Yampa-0.12: Library for programming hybrid systems.