HyLaGI: Symbolic Implementation of a Hybrid Constraint Language HydLa. - Shota Matsumoto; Fumihiko Kono; Teruya Kobayashi; Kazunori Ueda (NSV, 2015)