flexfringe: A Passive Automaton Learning Package | IEEE Conference Publication | IEEE Xplore