_id,doi,title 4481,10.1007/3-540-46430-1_14,Beyond HyTech: Hybrid systems analysis using interval numerical methods