On A nonstandard model of hybrid automaton | IEEE Conference Publication | IEEE Xplore