Hendrik Post Carsten Sinz Wolfgang Küchlin Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. 155-172 2009 19 Softw. Test., Verif. Reliab. 2 http://dx.doi.org/10.1002/stvr.399 db/journals/stvr/stvr19.html#PostSK09