Karthikeyan Bhargavan Carl A. Gunter Moonjoo Kim Insup Lee Davor Obradovic Oleg Sokolsky Mahesh Viswanathan Verisim: Formal analysis of network simulations. 2-13 2000 ISSTA http://doi.acm.org/10.1145/347324.347833 db/conf/issta/issta2000.html#BhargavanGKLOSV00