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