Using PVM to implement a distributed dependable simulation system | IEEE Conference Publication | IEEE Xplore