Iñigo Ugarte Pablo Sanchez Verification of Embedded Systems Based on Interval Analysis. 697-720 2005 33 International Journal of Parallel Programming 6 http://dx.doi.org/10.1007/s10766-005-8909-9 db/journals/ijpp/ijpp33.html#UgarteS05