Software specifications for uncertainty evaluation. · Study