Mining decision rules from deterministic finite automata | IEEE Conference Publication | IEEE Xplore