Symbolic mining of temporal specifications | IEEE Conference Publication | IEEE Xplore