Masaki Waga, Ichiro Hasuo, Kohei Suenaga: MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15