Using simulation to test formally verified protocols in complex environments

@article{Ye2011UsingST,
  title={Using simulation to test formally verified protocols in complex environments},
  author={Qiang Ye and Mike H. MacGregor},
  journal={Mathematical and Computer Modelling},
  year={2011},
  volume={53},
  pages={538-551}
}