Modeling of sensor nets in Ptolemy II | IEEE Conference Publication | IEEE Xplore