Karthikeyan Bhargavan Carl A. Gunter Moonjoo Kim Insup Lee Davor Obradovic Oleg Sokolsky Mahesh Viswanathan Verisim: Formal Analysis of Network Simulations. 129-145 2002 28 IEEE Trans. Software Eng. 2 http://www.computer.org:80/tse/ts2002/e0129abs.htm db/journals/tse/tse28.html#BhargavanGKLOSV02