Sistemi ibridi: un approccio formale ed eterogeneo