Nonconflict check by using sequential automaton abstractions based on weak observation equivalence
scientific article; zbMATH DE number 5722120