MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration | IEEE Conference Publication | IEEE Xplore