Experiments with deterministic \(\omega\)-automata for formulas of linear temporal logic
scientific article; zbMATH DE number 5083508