Development and Evaluation of Distributed Simulation of Embedded Systems Using Ptolemy and HLA | IEEE Conference Publication | IEEE Xplore