TREM: A tool for mining timed regular specifications from system traces | IEEE Conference Publication | IEEE Xplore