Estimation and inference in discrete event systems a model-based approach with finite automata /: a model-based approach with finite automata. (2020)