The benchmarks in this directory are taken from the supplementary web page of the paper

A. Cimatti, A. Micheli, I. Narasamdya, and M. Roveri.
Verifying SystemC: A Software Model Checking Approach.
Proc. FMCAD, pages 51-59, 2010. FMCAD Inc.
(https://es.fbk.eu/people/roveri/tests/fmcad2010/)