Representing hybrid automata by action language modulo theories. - JOOHYUNG LEE; LONEY, NIKHIL; YUNSONG MENG (Theory & Practice of Logic Programming, 2017)