Schmidt, L. ., Narayan, A. ., & Fischmeister, S. . (2017). TREM: A Tool for Mining Timed Regular Specifications from System Traces. Proceedings of the 32nd IEEE ACM International Conference on Automated Software Engineering. Presented at the. Urbana-Champaign, USA.