formalsupporttohybridsystems,includingmodelingandverification