Partition refinement of component interaction automata
scientific article; zbMATH DE number 6171349