Distributed Simulation: A Case Study in Design and Verification of Distributed Programs | IEEE Journals & Magazine | IEEE Xplore