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