The design and application of structured types in Ptolemy II | IEEE Conference Publication | IEEE Xplore