Fraserand Gargantini. An Evaluation of Model Checkers for Specification Based Test Case Generation. IEEE, 2009, doi:10.1109/icst.2009.33.