_id,title 4428,Automatic analysis of hybrid systems