Modeling hybrid systems as the limit of discrete computational processes | IEEE Conference Publication | IEEE Xplore