A minimal-automaton-based algorithm for the reliability of Con\((d,k,n)\) systems
scientific article; zbMATH DE number 1784515