Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection. - Kenichi Betsuno; Shota Matsumoto; Kazunori Ueda (CyPhy, 2016)