Incremental Determinization of Finite Automata in Model-Based Diagnosis of Active Systems. - Gianfranco Lamperti; Marina Zanella; Giovanni Chiodi; Lorenzo Chiodi (KES (1), 2008)