A methodology for analyzing the dynamics of hybrid systems | IEEE Conference Publication | IEEE Xplore