Tool-support for the analysis of hybrid systems and models | IEEE Conference Publication | IEEE Xplore