R. Kruse, M. Steinbrecher, and C. Moewes. Proceedings of the 4th International Workshop on Reliable Engineering Computing (REC 2010), page 23--40. Singapore, Professional Activities Centre, National University of Singapore, Research Publishing Services, (March 2010)