Fault localization of timed automata using maximum satisfiability
scientific article; zbMATH DE number 7349919