A formal representation of discrete event models in Ptolemy II | IEEE Conference Publication | IEEE Xplore