Avrunin, Corbett, Dwyer, 2000. Benchmarking finite-state verifiers.. https://doi.org/10.1007/s100090050038