Verification of Embedded Systems Based on Interval Analysis | Publicación