Slicing communicating automata specifications: Polynomial algorithms for model reduction
scientific article; zbMATH DE number 5558108