Symbolic representation techniques in dynamic reliability evaluation