Constraint-Based Modeling and Symbolic Simulation of Hybrid Systems with HydLa and HyLaGI. - Yunosuke Yamada; Masashi Sato; Kazunori Ueda (CyPhy/WESE, 2019)