Accuracy verification methods : theory and algorithms - Mali, Olli (Springer, 2014)