(1)
Gáti, A. Miller Analyzer for Matlab: A Matlab Package for Automatic Roundoff Analysis. Comput. Inform. 2012, 31, 713-726.