Modeling distributed hybrid systems in Ptolemy II | IEEE Conference Publication | IEEE Xplore