General LTL Specification Mining (T) | IEEE Conference Publication | IEEE Xplore