Dohyung Kim Soonhoi Ha Rajesh Gupta Parallel co-simulation using virtual synchronization with redundant host execution. 1151-1156 2006 conf/date/2006p DATE http://doi.acm.org/10.1145/1131798 db/conf/date/date2006p.html#KimHG06