T. Owen O'Malley;Debra J. Richardson
-;-
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering